Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`
OneSidedTuringMachineFind  |
|
| | ||||
|
| | ||||
|
| | ||||
▪
A target machine is ; the searched family is given by its own , which defaults to .
{number,s,k}
{s,k}
{2,2}
▪
Targets may be specified as a reference rule, as triples, as pairs (with sequential inputs 1, 2, …), or as a bare list of output .
{input,steps,value}
{steps,value}
values
▪
A list of must be wrapped in an extra list to distinguish it from a rule triple, e.g. .
values
{number,s,k}
OneSidedTuringMachineFind[{Range[100]+1},200]
▪
An optional final argument restricts the search to a specific list of rule numbers.
Examples
(2)
Basic Examples
(1)
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
Scope
(1)
 |
|
""