9 lines
169 B
Racket
9 lines
169 B
Racket
|
(define BEAVER
|
||
|
|
(Turing-Machine #:start 'a
|
||
|
|
[a () 1 right b]
|
||
|
|
[a 1 1 left c]
|
||
|
|
[b () 1 left a]
|
||
|
|
[b 1 1 right b]
|
||
|
|
[c () 1 left b]
|
||
|
|
[c 1 1 stay halt]))
|