## Topics in machine theory |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

alphabet of quadruples alphabet of triples automata theory belongs to C(M cell cocycle connected graph Cornell University dimensional tapes directed graph edge is occupied edge whose symbol edges of G embedded graph equivalence classes extra tape family of sequences finite alphabet finite automaton finite sequences finite set G-Turing graph property recognition H is marked Hamilton cycle indeterminate belonging initial edge initial segment belongs input graph invariant equivalence relation leftmost edge marked leftmost unmarked edge Lemma linearly bounded machines that act mark a component maximal subforest maximal tree minimal 0-sum segment modulo move symbols number of edges number of maximal occupied exactly once Outline of Proof property recognition machine pseudo-Turing machine R-consistent reading head moves reading head returns records of computations RECORDS OF TURING right-invariant equivalence relation sequences of symbols set of quintuples Suppose symbol already printed tape is replaced Theorem tip vertex Turing machine Turing tape verified vertex is already