The following pages link to On Formalisms for Turing Machines (Q5535413):
Displaying 8 items.
- A formalization of multi-tape Turing machines (Q744986) (← links)
- The complexity of small universal Turing machines: A survey (Q1004087) (← links)
- Remark on the computational power of a Turing machine variant (Q1212929) (← links)
- Multitape one-way nonwriting automata (Q2527943) (← links)
- The Complexity of Small Universal Turing Machines: A Survey (Q2891384) (← links)
- (Q5552753) (← links)
- A New Hierarchy of Elementary Functions (Q5570927) (← links)
- The unsolvability of the uniform halting problem for two state Turing machines (Q5570931) (← links)
