On nontrivial separators for k-page graphs and simulations by nondeterministic one-tape Turing machines | Proceedings of the eighteenth annual ACM symposium on Theory of computing
Turing Machines | CS 365
Formal Languages, Automata and Computation Turing Machines