[TuringMachine] - A New Kind of Science: The NKS ForumA New Kind of Science: The NKS Forum
Pages:1
TuringMachine
(Click here to view the original thread with full colors/images)
Posted by: Todd Rowland
The latest version of Mathematica has a new function TuringMachine, relevant to NKS researchers.
Its syntax and output differs a little bit from the function defined in the NKS Notes.
The output gives the state, position, and the position relative to the intial position of the head.
One of its advantages is that you can set initial conditions as with CellularAutomaton, and the rule can either be a set of rules,
for instance, here is the s=2,k=5 universal Turing machine Wolfram discovered, from p.707,
{{1,4}->{2,3,-1},{1,3}->{2,4,1},{1,2}->{1,0,1},{1,1}->{1,0,1},{1,0}->{1,1,-1},{2,4}->{2,2,-1},{2,3}->{2,4,1},{2,2}->{1,4,1},{2,1}->{1,0,1},{2,0}->{1,3,-1}}
or it can be in Wolfram's enumeration scheme, for instance, the interesting s=2,k=3 from p.709,
TuringMachine[{596440,2,3},{1,{{},0}},150]
which when direction-compressed generates the attached image.
Forum Sponsored by Wolfram Research
© 2004-2008 Wolfram Research, Inc. | Powered by vBulletin 2.3.0 © 2000-2002 Jelsoft Enterprises, Ltd. |
Disclaimer
vB Easy Archive Final - Created by Xenon and modified/released by SkuZZy from the Job Openings