Frantisek Kascak
-
Small turing machines and generalized busy beaver competition
Theoretical Computer Science
Tag systems and Collatz-like functions