Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
ShowTapeConfiguration  |
|
| | ||||
|
| | ||||
▪
tape is a list of tape-color symbols such as ; state is a head symbol such as .
{s1,s0,s1}
qA
▪
The following options can be given:
option | default | description | |
"Compress" | True | run-length compress the configuration before rendering | |
"ShowHead" | True | insert the head/state cell into the tape | |
"States" | 2 | number of states, for drawing the state dial |
▪
The shared render-style options are also accepted.
Examples
(2)
Basic Examples
(1)
Show the tape with the head in state over the second cell:
1×0×1
qA
In[1]:=
 | ShowTapeConfiguration |
Out[1]=
⊲
Options
(1)
 |
|
 |
|
""