3 import abacus._ |
3 import abacus._ |
4 import recs._ |
4 import recs._ |
5 import comp1._ |
5 import comp1._ |
6 import comp2._ |
6 import comp2._ |
7 |
7 |
8 print(compile_rec(S)._1.print) |
|
9 |
8 |
10 // Turing machine examples |
9 // Turing machine examples |
11 val TMCopy = TM((WBk, 5), (R, 2), (R, 3), (R, 2), (WOc, 3), |
10 val TMCopy = TM((WBk, 5), (R, 2), (R, 3), (R, 2), (WOc, 3), |
12 (L, 4), (L, 4), (L, 5), (R, 11), (R, 6), |
11 (L, 4), (L, 4), (L, 5), (R, 11), (R, 6), |
13 (R, 7), (WBk, 6), (R, 7), (R, 8), (WOc, 9), |
12 (R, 7), (WBk, 6), (R, 7), (R, 8), (WOc, 9), |