# HG changeset patch # User Markus Kaiser # Date 1403374247 -7200 # Node ID 27fd7a9cee4912bec0255d4418277a41de7e0f54 # Parent 2e1a4e52da106a64e61e4e5f2a50ba3300acca4c add jflap turing machines diff -r 2e1a4e52da10 -r 27fd7a9cee49 machines/ta81.jff --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta81.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,83 @@ + + turing + + + + Machine0 + 77.0 + 175.0 + + + + Machine1 + 231.0 + 83.0 + + + Machine2 + 235.0 + 258.0 + + + Machine3 + 393.0 + 167.0 + + + + + 0 + 2 + + + L + + + 0 + 0 + X + X + R + + + 0 + 1 + | + X + L + + + 1 + 0 + + X + R + + + 1 + 1 + X + X + L + + + 2 + 3 + + + R + + + 2 + 2 + X + | + L + + + + + + + + \ No newline at end of file diff -r 2e1a4e52da10 -r 27fd7a9cee49 machines/ta81_alternativ.jff --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta81_alternativ.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,117 @@ + + turing + + + + Machine0 + 181.0 + 280.0 + + + + Machine1 + 376.0 + 119.0 + + + Machine2 + 519.0 + 283.0 + + + Machine3 + 373.0 + 438.0 + + + Machine4 + 626.0 + 440.0 + + + + + 0 + 0 + X + X + R + + + 1 + 1 + | + | + R + + + 1 + 1 + X + X + R + + + 3 + 4 + + + R + + + 1 + 2 + + X + L + + + 3 + 3 + X + | + L + + + 0 + 1 + | + X + R + + + 2 + 0 + + + R + + + 2 + 2 + | + | + L + + + 2 + 2 + X + X + L + + + 0 + 3 + + + L + + + + + + + + + \ No newline at end of file diff -r 2e1a4e52da10 -r 27fd7a9cee49 machines/ta82.jff --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta82.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,221 @@ + + turing + + + + Machine0 + 329.0 + 230.0 + + + + Machine1 + 451.0 + 67.0 + + + Machine2 + 439.0 + 324.0 + + + Machine3 + 556.0 + 151.0 + + + Machine4 + 482.0 + 478.0 + + + Machine5 + 630.0 + 478.0 + + + + + 0 + 1 + 0 + a + R + + + 1 + 3 + + b + L + + + 4 + 4 + 1 + 1 + L + + + 4 + 4 + 0 + 0 + L + + + 3 + 3 + b + b + L + + + 3 + 3 + a + a + L + + + 3 + 3 + 1 + 1 + L + + + 3 + 3 + 0 + 0 + L + + + 4 + 5 + + + R + + + 4 + 4 + a + 0 + L + + + 2 + 3 + + a + L + + + 4 + 4 + b + 1 + L + + + 0 + 4 + + + L + + + 0 + 0 + b + b + R + + + 0 + 0 + a + a + R + + + 1 + 1 + 0 + 0 + R + + + 1 + 1 + 1 + 1 + R + + + 2 + 2 + 0 + 0 + R + + + 2 + 2 + 1 + 1 + R + + + 2 + 2 + a + a + R + + + 2 + 2 + b + b + R + + + 1 + 1 + a + a + R + + + 1 + 1 + b + b + R + + + 0 + 2 + 1 + b + R + + + 3 + 0 + + + R + + + + + + + + + + \ No newline at end of file diff -r 2e1a4e52da10 -r 27fd7a9cee49 machines/ta82b.jff --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta82b.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,315 @@ + + turing + + + + Machine0 + 341.0 + 217.0 + + + + Machine1 + 472.0 + 161.0 + + + Machine2 + 604.0 + 160.0 + + + Machine3 + 746.0 + 215.0 + + + Machine4 + 471.0 + 433.0 + + + Machine5 + 608.0 + 429.0 + + + Machine6 + 705.0 + 345.0 + + + Machine7 + 833.0 + 421.0 + + + Machine8 + 719.0 + 549.0 + + + Machine9 + 341.0 + 533.0 + + + + + 6 + 7 + b + X + L + + + 0 + 1 + 1 + B + R + + + 4 + 5 + + + R + + + 1 + 2 + + + L + + + 1 + 2 + b + b + L + + + 1 + 2 + a + a + L + + + 0 + 1 + 0 + A + R + + + 5 + 9 + + + S + + + 5 + 6 + A + X + R + + + 7 + 5 + + + R + + + 3 + 0 + B + B + R + + + 3 + 0 + A + A + R + + + 0 + 9 + + + S + + + 8 + 7 + a + X + L + + + 2 + 3 + 1 + b + L + + + 0 + 4 + b + b + L + + + 0 + 4 + a + a + L + + + 7 + 7 + B + B + L + + + 3 + 3 + 1 + 1 + L + + + 3 + 3 + 0 + 0 + L + + + 4 + 4 + A + A + L + + + 4 + 4 + B + B + L + + + 7 + 7 + X + X + L + + + 7 + 7 + A + A + L + + + 8 + 8 + A + A + R + + + 8 + 8 + B + B + R + + + 8 + 8 + X + X + R + + + 5 + 5 + X + X + R + + + 1 + 1 + 1 + 1 + R + + + 1 + 1 + 0 + 0 + R + + + 6 + 6 + A + A + R + + + 6 + 6 + B + B + R + + + 6 + 6 + X + X + R + + + 5 + 8 + B + X + R + + + 2 + 3 + 0 + a + L + + + + + + + + + + + + + + \ No newline at end of file