# tapes
tape tape1 { 
    def correct1:=[ "1", "1", "0", "1", "1" ] 0;
    def correct2:=[ "1", "1" ] 0;
    def fail1:=[ "1", "1", "0", "1" ] 0;
} correct1;

# states
state 0 name "loop" startstate { 
  (tape1=="1") -- tape1(nothing,1) -> 0 (-126);
  (tape1=="1") -- tape1(nothing,1) -> 1 (20);
  (tape1=="0") -- tape1(nothing,1) -> 0 (-63);
}(43,279);

state 1 name "endCond1" { 
  (tape1=="1") -- tape1("1",1) -> 2 (20);
}(344,273);

state 2 name "endCond2" { 
  (tape1==oot) -- tape1(nothing,0) -> 99 (22);
}(561,284);

state 99 name "allOK" endstate { }(828,284);