5 lines
99 B
Text
5 lines
99 B
Text
:q0 :qf [ 1 1 1 ]
|
|
)
|
|
:q0 1 1 :right :q0
|
|
:q0 :B 1 :stay :qf
|
|
!. universal-turing-machine transitions(
|