𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Formalisms for Turing Machines

✍ Scribed by Fischer, Patrick C.

Book ID
121864028
Publisher
Association for Computing Machinery
Year
1965
Tongue
English
Weight
640 KB
Volume
12
Category
Article
ISSN
0004-5411

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Simulating Turing machines on Maurer mac
Simulating Turing machines on Maurer machines
✍ J.A. Bergstra; C.A. Middelburg πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 293 KB

In a previous paper, we used Maurer machines to model and analyse micro-architectures. In the current paper, we investigate the connections between Turing machines and Maurer machines with the purpose to gain an insight into computability issues relating to Maurer machines. We introduce ways to simu

On mind & Turing’s machines
On mind & Turing’s machines
✍ Wilfried Sieg πŸ“‚ Article πŸ“… 2006 πŸ› Springer Netherlands 🌐 English βš– 195 KB
Infinite Time Turing Machines
Infinite Time Turing Machines
✍ Joel David Hamkins and Andy Lewis πŸ“‚ Article πŸ“… 2000 πŸ› Association for Symbolic Logic 🌐 English βš– 762 KB
On topological dynamics of Turing machin
On topological dynamics of Turing machines
✍ Petr KΕ―rka πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 874 KB

We associate to a Turing machine two dynamical systems which we call Turing machine with moving tape (TMT) and Turing machine with moving head (TMH). TMT are equivalent to generalized shifts of and they include two-sided full shifts. TMH are shificommuting maps of two-sided sofic systems. In both c