compare_turing

;; ########## MARK BEGINNING
s0 0 # r mark0
s0 1 # r mark1

mark0 0 0 r mark0
mark0 1 0 r mark1
mark0 _ 0 l reset

mark1 0 1 r mark0
mark1 1 1 r mark1
mark1 _ 1 l reset


reset # * r test-fst
reset * * l *
; ########## TEST AND DECREMENT
test-fst 0 * r test-snd0
test-fst 1 * r find-snd

test-snd0 0 * r halt-accept
test-snd0 1 * r halt-reject

find-snd 1 * r find-snd
find-snd 0 * r test-snd1

test-snd1 0 * r halt-reject
test-snd1 1 * r find-end

find-end 1 * r find-end
find-end 0 _ l shift-end

shift-end 1 _ l shift-left0

shift-left0 0 0 l shift-left0
shift-left0 1 0 l shift-left1
shift-left0 # # r test-fst

shift-left1 0 1 l shift-left0
shift-left1 1 1 l shift-left1
shift-left1 # # r test-fst