8 lines
169 B
Racket
8 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]))
|