Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`
MultiwayNonHaltedStatesLeft  |
| | |
| |
▪
A multiway machine is given by a list of integer rule numbers; its traversal branches wherever transitions disagree.
▪
The result is the size of the frontier — branches not yet halted — after n steps, so a value of means every branch has halted within the bound.
0
Examples
(0)
 |
|
After 5 steps the multiway machine built from rules 12 and 13 on input 2 has no unexplored branches:
In[1]:=
 | MultiwayNonHaltedStatesLeft |
Out[1]=
0
""