On Formalisms for Turing Machines
- 1 October 1965
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 12 (4) , 570-580
- https://doi.org/10.1145/321296.321308
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961
- A Universal Turing Machine with Two Internal StatesPublished by Walter de Gruyter GmbH ,1956
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947