1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# vim: ts=2 sw=2 et ft=ruby
# Call with two [ab]* strings on the tapes:
# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm ab ababab
1. right 1, goto: 2
2. right 2, goto: 3
3. cond 1, if: 'B', then: 5, else: 4
4. cond 2, if: 'B', then: 9, else: 1
5. cond 2, if: 'B', then: 13, else: 6
6. write 0, symbol: 'b', goto: 7
7. right 0, goto: 8
8. right 2, goto: 5
9. write 0, symbol: 'a', goto: 10
10. right 0, goto: 11
11. right 1, goto: 12
12. cond 1, if: 'B', then: 13, else: 9
13. halt
|
