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
Multi Tape Turing Machines - YouTube
The computational tree of a non-deterministic Turing machine M N hav- | Download Scientific Diagram