Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`
OneSidedTuringMachineFind  |
| | |
| {input,steps,value} | |
| |
Examples
(1)
Scope
(1)
Count how many s=2, k=2 rules share that behavior:
In[1]:=
Length
[{{1,3,3},{2,1,3}},{2,2}]
 | OneSidedTuringMachineFind |
Out[1]=
132
 |
|
Rule 1500's own s=2, k=2 family reproduces its behavior on inputs 1 and 2, so the search contains the rule itself:
In[1]:=
MemberQ
[{{1,3,3},{2,1,3}},{2,2}],1500
 | OneSidedTuringMachineFind |
Out[1]=
True
""