1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
# vim: ts=2 sw=2 et ft=ruby
# Call with four binary numbers on the tape:
# $ turing.rb concatenate_compare.mtm 110 1 11 01
1. right 1, goto: 2
2. cond 1, if: 'B', then: 3, else: 1
3. right 2, goto: 4
4. cond 2, if: '0', then: 7, else: 5
5. cond 2, if: '1', then: 6, else: 9
6. write 1, symbol: '1', goto: 8
7. write 1, symbol: '0', goto: 8
8. right 1, goto: 3
9. right 3, goto: 10
10. cond 3, if: 'B', then: 11, else: 9
11. right 4, goto: 12
12. cond 4, if: '0', then: 14, else: 13
13. cond 4, if: '1', then: 15, else: 17
14. write 3, symbol: '0', goto: 16
15. write 3, symbol: '1', goto: 16
16. right 3, goto: 11
17. left 3, goto: 18
18. left 1, goto: 19
19. cond 3, if: '0', then: 20, else: 22
20. cond 1, if: '0', then: 17, else: 24
21. cond 1, if: '1', then: 17, else: 24
22. cond 3, if: '1', then: 21, else: 23
23. cond 1, if: 'B', then: 25, else: 24
24. write 0, symbol: '0', goto: 26
25. write 0, symbol: '1', goto: 26
26. right 0, goto: 27
27. halt
|
