Automaton Simulator, v1.0 turing { alphabet {abcd*#-_} state { initial {yes} coord {114 219} } state { coord {191 92} } state { coord {331 53} } state { coord {166 350} } state { coord {475 347} } state { coord {340 351} } state { final {yes} coord {568 87} } state { coord {666 245} } edge 0 4 { transits {#} offset {0.17633380608095395} direction {R} output {#} } edge 4 3 { transits {a} offset {7.380070797753492} direction {R} output {-} } edge 4 4 { transits {-} offset {-0.6456892891082846} direction {R} output {-} } edge 4 6 { transits {#} offset {0.5235987755982988} direction {R} output {#} } edge 3 3 { transits {a} offset {2.356194490192345} direction {R} output {a} } edge 3 3 { transits {-} offset {-2.9521124957086458} direction {R} output {-} } edge 3 5 { transits {b} offset {0.5235987755982988} direction {R} output {-} } edge 5 1 { transits {a} offset {-6.482572896267063} direction {R} output {-} } edge 5 5 { transits {-} offset {1.6794575426354845} direction {R} output {-} } edge 5 5 { transits {b} offset {-0.2596296294082575} direction {R} output {b} } edge 1 1 { transits {a} offset {2.356194490192345} direction {R} output {a} } edge 1 2 { transits {#} offset {0.5235987755982988} direction {L} output {#} } edge 2 2 { transits {a} offset {1.0571903220721477} direction {L} output {a} } edge 2 2 { transits {b} offset {-0.1775961672834879} direction {L} output {b} } edge 2 2 { transits {-} offset {-1.4903253155294358} direction {L} output {-} } edge 2 4 { transits {#} offset {-0.7853981633974485} direction {R} output {#} } edge 0 7 { transits {*} offset {0.6155000358689435} direction {R} } edge 1 7 { transits {*} offset {0.06620225846534245} direction {R} } edge 2 7 { transits {*} offset {0.18086373273786438} direction {R} } edge 4 7 { transits {*} offset {-0.3764463484341031} direction {R} } edge 5 7 { transits {*} offset {0.2905003386909948} direction {R} } edge 3 7 { transits {*} offset {0.2799526711959182} direction {R} } edge 7 7 { transits {*} offset {1.412141064608495} direction {R} } label { text {S} font {SansSerif 12 -} coord {116 219} } label { text {} font {SansSerif 12 -} coord {291 288} } label { text {} font {SansSerif 12 -} coord {318 138} } label { text {} font {SansSerif 12 -} coord {209 127} } label { text {S#} font {SansSerif 12 -} coord {184 92} } label { text {LL} font {SansSerif 12 -} coord {323 53} } label { text {Ok} font {SansSerif 12 -} coord {563 92} } label { text {ERR} font {SansSerif 12 -} coord {656 245} } label { text {} font {SansSerif 12 -} coord {394 296} } label { text {LR} font {SansSerif 12 -} coord {472 347} } label { text {SA} font {SansSerif 12 -} coord {334 350} } label { text {SB} font {SansSerif 12 -} coord {160 349} } }