Small deterministic turing machines (1996)

by M Kudlek
Venue:Theoret. Comp. Sci