11,000+
Interactive Demonstrations Powered by Notebook Technology »
TOPICS
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Emulation of Turing Machines by Tag Systems and Register Machines
In this Demonstration we show how Turing machines (TM) can be emulated by other simple systems, namely, register machines (RM) and tag systems (TS).
There are three views.
1. A compressed register machine that emulates a Turing machine, which is obvious when one looks at the Turing machine in centered format.
2. How a register machine rule can emulate a Turing machine rule with requisite detailed emulation.
3. A tag system rule that emulates a Turing machine rule and the tag system that emulated a Turing machine.
Contributed by:
Abigail Nussey
Based on a program by:
Todd Rowland
SNAPSHOTS
DETAILS
For the details of how these emulations are conducted, see Stephen Wolfram's
A New Kind of Science
, pp. 670–672,
Emulating Cellular Automata with Other Systems
.
RELATED LINKS
Emulating Cellular Automata with Other Systems
(
NKS|Online
)
PERMANENT CITATION
"
Emulation of Turing Machines by Tag Systems and Register Machines
" from
the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/EmulationOfTuringMachinesByTagSystemsAndRegisterMachines/
Contributed by:
Abigail Nussey
Based on a program by:
Todd Rowland
Share:
Embed Interactive Demonstration
New!
Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site.
More details »
Download Demonstration as CDF »
Download Author Code »
(preview »)
Files require
Wolfram
CDF Player
or
Mathematica
.
Related Demonstrations
More by Author
Emulation of a Register Machine by an Arithmetic System Rule
Abigail Nussey
Tag Systems
Abigail Nussey
Cyclic Tag Systems
Abigail Nussey
Emulation of Cellular Automata by Other Systems
Abigail Nussey
Emulating Other Systems with Cellular Automata
Abigail Nussey
Emulation of Elementary Cellular Automata by a Universal Cellular Automaton
Abigail Nussey
Multiway Systems
Abigail Nussey
Symbolic Systems
Abigail Nussey
Sequential Substitution Systems
Abigail Nussey
Neighbor-Dependent Network Systems
Abigail Nussey
Related Topics
NKS / Wolfram Science
NKS Book
Browse all topics