9 lines
159 B
Text
9 lines
159 B
Text
:a :halt []
|
|
)
|
|
:a :B 1 :right :b
|
|
:a 1 1 :left :c
|
|
:b :B 1 :left :a
|
|
:b 1 1 :right :b
|
|
:c :B 1 :left :b
|
|
:c 1 1 :stay :halt
|
|
!. universal-turing-machine transitions(
|