TM - To one way tape

Transformation to one way tape

Original machine - definition

Alphabet

Input tape

Start state

Final states

Transitions

Simulating machine - definition

Alphabet

$, a, b, A, B, ☐, ☐'

Input tape

a|b|a|b

Start state

Final states

Transitions (353)

startState

(q0, a) -> (q0, a, L)
(q0, b) -> (q0, b, L)
(q0, A) -> (q0, A, L)
(q0, B) -> (q0, B, L)
(q0, ☐) -> (q0;m;e, $, R)

transformMakeSpaces

(q0;m;e, a) -> (q0;m;e, a, R)
(q0;m;e, b) -> (q0;m;e, b, R)
(q0;m;e, A) -> (q0;m;e, A, R)
(q0;m;e, B) -> (q0;m;e, B, R)
(q0;m;e, ☐) -> (q0;m;l;m0, ☐, L)
(q0;m;s;m1, a) -> (q0;m;ra;m0, ☐, R)
(q0;m;ra;m0, ☐) -> (q0;m;c, a, R)
(q0;m;s;m1, b) -> (q0;m;rb;m0, ☐, R)
(q0;m;rb;m0, ☐) -> (q0;m;c, b, R)
(q0;m;s;m1, A) -> (q0;m;rA;m0, ☐, R)
(q0;m;rA;m0, ☐) -> (q0;m;c, A, R)
(q0;m;s;m1, B) -> (q0;m;rB;m0, ☐, R)
(q0;m;rB;m0, ☐) -> (q0;m;c, B, R)
(q0;m;c, ☐) -> (q0;m;l;m0, ☐, L)
(q0;m;c, a) -> (q0;m;ra;m0, ☐, R)
(q0;m;c, b) -> (q0;m;rb;m0, ☐, R)
(q0;m;c, A) -> (q0;m;rA;m0, ☐, R)
(q0;m;c, B) -> (q0;m;rB;m0, ☐, R)
(q0;m;l;m1, a) -> (q0;m;s;m1, a, R)
(q0;m;l;m1, b) -> (q0;m;s;m1, b, R)
(q0;m;l;m1, A) -> (q0;m;s;m1, A, R)
(q0;m;l;m1, B) -> (q0;m;s;m1, B, R)
(q0;m;l;m1, ☐) -> (q0;m;l;m0, ☐, L)
(q0;m;l;m0, a) -> (q0;m;l;m1, a, L)
(q0;m;l;m0, b) -> (q0;m;l;m1, b, L)
(q0;m;l;m0, A) -> (q0;m;l;m1, A, L)
(q0;m;l;m0, B) -> (q0;m;l;m1, B, L)
(q0;m;l;m1, $) -> (q0;t;r, $, R)

(q0, a) -> (q0, a, R)

(q0;t;l, a) -> (q0;t;l;l1, a, L)
(q0;t;r, a) -> (q0;t;r;r1, a, R)

(q0, b) -> (q0, b, R)

(q0;t;l, b) -> (q0;t;l;l1, b, L)
(q0;t;r, b) -> (q0;t;r;r1, b, R)

(q0, ☐) -> (q1, ☐, L)

(q0;t;l, ☐) -> (q1;t;l;r1, ☐, R)
(q0;t;r, ☐) -> (q1;t;r;l1, ☐, L)

(q1, a) -> (qA, A, R)

(q1;t;l, a) -> (qA;t;l;l1, A, L)
(q1;t;r, a) -> (qA;t;r;r1, A, R)

(q1, b) -> (qB, B, R)

(q1;t;l, b) -> (qB;t;l;l1, B, L)
(q1;t;r, b) -> (qB;t;r;r1, B, R)

(q1, ☐) -> (q2, ☐, R)

(q1;t;l, ☐) -> (q2;t;l;l1, ☐, L)
(q1;t;r, ☐) -> (q2;t;r;r1, ☐, R)

(q1, A) -> (q1, A, L)

(q1;t;l, A) -> (q1;t;l;r1, A, R)
(q1;t;r, A) -> (q1;t;r;l1, A, L)

(q1, B) -> (q1, B, L)

(q1;t;l, B) -> (q1;t;l;r1, B, R)
(q1;t;r, B) -> (q1;t;r;l1, B, L)

(qA, A) -> (qA, A, R)

(qA;t;l, A) -> (qA;t;l;l1, A, L)
(qA;t;r, A) -> (qA;t;r;r1, A, R)

(qA, B) -> (qA, B, R)

(qA;t;l, B) -> (qA;t;l;l1, B, L)
(qA;t;r, B) -> (qA;t;r;r1, B, R)

(qA, ☐) -> (q1, A, L)

(qA;t;l, ☐) -> (q1;t;l;r1, A, R)
(qA;t;r, ☐) -> (q1;t;r;l1, A, L)

(qB, A) -> (qB, A, R)

(qB;t;l, A) -> (qB;t;l;l1, A, L)
(qB;t;r, A) -> (qB;t;r;r1, A, R)

(qB, B) -> (qB, B, R)

(qB;t;l, B) -> (qB;t;l;l1, B, L)
(qB;t;r, B) -> (qB;t;r;r1, B, R)

(qB, ☐) -> (q1, B, L)

(qB;t;l, ☐) -> (q1;t;l;r1, B, R)
(qB;t;r, ☐) -> (q1;t;r;l1, B, L)

(q2, A) -> (q2, a, R)

(q2;t;l, A) -> (q2;t;l;l1, a, L)
(q2;t;r, A) -> (q2;t;r;r1, a, R)

(q2, B) -> (q2, b, R)

(q2;t;l, B) -> (q2;t;l;l1, b, L)
(q2;t;r, B) -> (q2;t;r;r1, b, R)

(q2, ☐) -> (qK, ☐, 0)

(q2;t;l, ☐) -> (qK;s;b, ☐, 0)
(q2;t;r, ☐) -> (qK;s;b, ☐, 0)

inbetween

(q0;t;r;l1, $) -> (q0;t;l;r1, $, R)
(q0;t;l, $) -> (q0;t;r, $, R)
(q0;t;r;r1, a) -> (q0;t;r, a, R)
(q0;t;r;l1, a) -> (q0;t;r, a, L)
(q0;t;l;r1, a) -> (q0;t;l, a, R)
(q0;t;l;l1, a) -> (q0;t;l, a, L)
(q0;t;r;r1, b) -> (q0;t;r, b, R)
(q0;t;r;l1, b) -> (q0;t;r, b, L)
(q0;t;l;r1, b) -> (q0;t;l, b, R)
(q0;t;l;l1, b) -> (q0;t;l, b, L)
(q0;t;r;r1, A) -> (q0;t;r, A, R)
(q0;t;r;l1, A) -> (q0;t;r, A, L)
(q0;t;l;r1, A) -> (q0;t;l, A, R)
(q0;t;l;l1, A) -> (q0;t;l, A, L)
(q0;t;r;r1, B) -> (q0;t;r, B, R)
(q0;t;r;l1, B) -> (q0;t;r, B, L)
(q0;t;l;r1, B) -> (q0;t;l, B, R)
(q0;t;l;l1, B) -> (q0;t;l, B, L)
(q0;t;r;r1, ☐) -> (q0;t;r, ☐, R)
(q0;t;r;l1, ☐) -> (q0;t;r, ☐, L)
(q0;t;l;r1, ☐) -> (q0;t;l, ☐, R)
(q0;t;l;l1, ☐) -> (q0;t;l, ☐, L)
(q1;t;r;l1, $) -> (q1;t;l;r1, $, R)
(q1;t;l, $) -> (q1;t;r, $, R)
(q1;t;r;r1, a) -> (q1;t;r, a, R)
(q1;t;r;l1, a) -> (q1;t;r, a, L)
(q1;t;l;r1, a) -> (q1;t;l, a, R)
(q1;t;l;l1, a) -> (q1;t;l, a, L)
(q1;t;r;r1, b) -> (q1;t;r, b, R)
(q1;t;r;l1, b) -> (q1;t;r, b, L)
(q1;t;l;r1, b) -> (q1;t;l, b, R)
(q1;t;l;l1, b) -> (q1;t;l, b, L)
(q1;t;r;r1, A) -> (q1;t;r, A, R)
(q1;t;r;l1, A) -> (q1;t;r, A, L)
(q1;t;l;r1, A) -> (q1;t;l, A, R)
(q1;t;l;l1, A) -> (q1;t;l, A, L)
(q1;t;r;r1, B) -> (q1;t;r, B, R)
(q1;t;r;l1, B) -> (q1;t;r, B, L)
(q1;t;l;r1, B) -> (q1;t;l, B, R)
(q1;t;l;l1, B) -> (q1;t;l, B, L)
(q1;t;r;r1, ☐) -> (q1;t;r, ☐, R)
(q1;t;r;l1, ☐) -> (q1;t;r, ☐, L)
(q1;t;l;r1, ☐) -> (q1;t;l, ☐, R)
(q1;t;l;l1, ☐) -> (q1;t;l, ☐, L)
(qA;t;r;l1, $) -> (qA;t;l;r1, $, R)
(qA;t;l, $) -> (qA;t;r, $, R)
(qA;t;r;r1, a) -> (qA;t;r, a, R)
(qA;t;r;l1, a) -> (qA;t;r, a, L)
(qA;t;l;r1, a) -> (qA;t;l, a, R)
(qA;t;l;l1, a) -> (qA;t;l, a, L)
(qA;t;r;r1, b) -> (qA;t;r, b, R)
(qA;t;r;l1, b) -> (qA;t;r, b, L)
(qA;t;l;r1, b) -> (qA;t;l, b, R)
(qA;t;l;l1, b) -> (qA;t;l, b, L)
(qA;t;r;r1, A) -> (qA;t;r, A, R)
(qA;t;r;l1, A) -> (qA;t;r, A, L)
(qA;t;l;r1, A) -> (qA;t;l, A, R)
(qA;t;l;l1, A) -> (qA;t;l, A, L)
(qA;t;r;r1, B) -> (qA;t;r, B, R)
(qA;t;r;l1, B) -> (qA;t;r, B, L)
(qA;t;l;r1, B) -> (qA;t;l, B, R)
(qA;t;l;l1, B) -> (qA;t;l, B, L)
(qA;t;r;r1, ☐) -> (qA;t;r, ☐, R)
(qA;t;r;l1, ☐) -> (qA;t;r, ☐, L)
(qA;t;l;r1, ☐) -> (qA;t;l, ☐, R)
(qA;t;l;l1, ☐) -> (qA;t;l, ☐, L)
(qB;t;r;l1, $) -> (qB;t;l;r1, $, R)
(qB;t;l, $) -> (qB;t;r, $, R)
(qB;t;r;r1, a) -> (qB;t;r, a, R)
(qB;t;r;l1, a) -> (qB;t;r, a, L)
(qB;t;l;r1, a) -> (qB;t;l, a, R)
(qB;t;l;l1, a) -> (qB;t;l, a, L)
(qB;t;r;r1, b) -> (qB;t;r, b, R)
(qB;t;r;l1, b) -> (qB;t;r, b, L)
(qB;t;l;r1, b) -> (qB;t;l, b, R)
(qB;t;l;l1, b) -> (qB;t;l, b, L)
(qB;t;r;r1, A) -> (qB;t;r, A, R)
(qB;t;r;l1, A) -> (qB;t;r, A, L)
(qB;t;l;r1, A) -> (qB;t;l, A, R)
(qB;t;l;l1, A) -> (qB;t;l, A, L)
(qB;t;r;r1, B) -> (qB;t;r, B, R)
(qB;t;r;l1, B) -> (qB;t;r, B, L)
(qB;t;l;r1, B) -> (qB;t;l, B, R)
(qB;t;l;l1, B) -> (qB;t;l, B, L)
(qB;t;r;r1, ☐) -> (qB;t;r, ☐, R)
(qB;t;r;l1, ☐) -> (qB;t;r, ☐, L)
(qB;t;l;r1, ☐) -> (qB;t;l, ☐, R)
(qB;t;l;l1, ☐) -> (qB;t;l, ☐, L)
(q2;t;r;l1, $) -> (q2;t;l;r1, $, R)
(q2;t;l, $) -> (q2;t;r, $, R)
(q2;t;r;r1, a) -> (q2;t;r, a, R)
(q2;t;r;l1, a) -> (q2;t;r, a, L)
(q2;t;l;r1, a) -> (q2;t;l, a, R)
(q2;t;l;l1, a) -> (q2;t;l, a, L)
(q2;t;r;r1, b) -> (q2;t;r, b, R)
(q2;t;r;l1, b) -> (q2;t;r, b, L)
(q2;t;l;r1, b) -> (q2;t;l, b, R)
(q2;t;l;l1, b) -> (q2;t;l, b, L)
(q2;t;r;r1, A) -> (q2;t;r, A, R)
(q2;t;r;l1, A) -> (q2;t;r, A, L)
(q2;t;l;r1, A) -> (q2;t;l, A, R)
(q2;t;l;l1, A) -> (q2;t;l, A, L)
(q2;t;r;r1, B) -> (q2;t;r, B, R)
(q2;t;r;l1, B) -> (q2;t;r, B, L)
(q2;t;l;r1, B) -> (q2;t;l, B, R)
(q2;t;l;l1, B) -> (q2;t;l, B, L)
(q2;t;r;r1, ☐) -> (q2;t;r, ☐, R)
(q2;t;r;l1, ☐) -> (q2;t;r, ☐, L)
(q2;t;l;r1, ☐) -> (q2;t;l, ☐, R)
(q2;t;l;l1, ☐) -> (q2;t;l, ☐, L)
(qK;t;r;l1, $) -> (qK;t;l;r1, $, R)
(qK;t;l, $) -> (qK;s;b, $, R)
(qK;t;r;r1, a) -> (qK;s;b, a, R)
(qK;t;r;l1, a) -> (qK;s;b, a, L)
(qK;t;l;r1, a) -> (qK;s;b, a, R)
(qK;t;l;l1, a) -> (qK;s;b, a, L)
(qK;t;r;r1, b) -> (qK;s;b, b, R)
(qK;t;r;l1, b) -> (qK;s;b, b, L)
(qK;t;l;r1, b) -> (qK;s;b, b, R)
(qK;t;l;l1, b) -> (qK;s;b, b, L)
(qK;t;r;r1, A) -> (qK;s;b, A, R)
(qK;t;r;l1, A) -> (qK;s;b, A, L)
(qK;t;l;r1, A) -> (qK;s;b, A, R)
(qK;t;l;l1, A) -> (qK;s;b, A, L)
(qK;t;r;r1, B) -> (qK;s;b, B, R)
(qK;t;r;l1, B) -> (qK;s;b, B, L)
(qK;t;l;r1, B) -> (qK;s;b, B, R)
(qK;t;l;l1, B) -> (qK;s;b, B, L)
(qK;t;r;r1, ☐) -> (qK;s;b, ☐, R)
(qK;t;r;l1, ☐) -> (qK;s;b, ☐, L)
(qK;t;l;r1, ☐) -> (qK;s;b, ☐, R)
(qK;t;l;l1, ☐) -> (qK;s;b, ☐, L)

transformSymbolsToRight

(qK;s;b, a) -> (qK;s;b, a, L)
(qK;s;b, b) -> (qK;s;b, b, L)
(qK;s;b, A) -> (qK;s;b, A, L)
(qK;s;b, B) -> (qK;s;b, B, L)
(qK;s;b, ☐) -> (qK;s;b, ☐, L)
(qK;s;b, $) -> (qK;s;r;n, $, R)
(qK;s;r;n, a) -> (qK;s;r, a, R)
(qK;s;r;n, b) -> (qK;s;r, b, R)
(qK;s;r;n, A) -> (qK;s;r, A, R)
(qK;s;r;n, B) -> (qK;s;r, B, R)
(qK;s;r;n, ☐) -> (qK;s;r, ☐, R)
(qK;s;r, a) -> (qK;s;r;n, a, R)
(qK;s;r, b) -> (qK;s;r;n, b, R)
(qK;s;r, A) -> (qK;s;r;n, A, R)
(qK;s;r, B) -> (qK;s;r;n, B, R)
(qK;s;r, ☐) -> (qK;s;r;l, ☐, L)
(qK;s;r;l, a) -> (qK;s;m, a, L)
(qK;s;r;l, b) -> (qK;s;m, b, L)
(qK;s;r;l, A) -> (qK;s;m, A, L)
(qK;s;r;l, B) -> (qK;s;m, B, L)
(qK;s;r;l, ☐) -> (qK;s;m, ☐, L)
(qK;s;m, a) -> (qK;s;n;fa, ☐, L)
(qK;s;m, b) -> (qK;s;n;fb, ☐, L)
(qK;s;m, A) -> (qK;s;n;fA, ☐, L)
(qK;s;m, B) -> (qK;s;n;fB, ☐, L)
(qK;s;m, $) -> (qK;r;e, ☐', R)
(qK;s;n;fa, a) -> (qK;s;d;fa, a, L)
(qK;s;j;fa, a) -> (qK;s;u;fa, a, R)
(qK;s;n;fa, b) -> (qK;s;d;fa, b, L)
(qK;s;j;fa, b) -> (qK;s;u;fa, b, R)
(qK;s;n;fa, A) -> (qK;s;d;fa, A, L)
(qK;s;j;fa, A) -> (qK;s;u;fa, A, R)
(qK;s;n;fa, B) -> (qK;s;d;fa, B, L)
(qK;s;j;fa, B) -> (qK;s;u;fa, B, R)
(qK;s;n;fa, ☐) -> (qK;s;d;fa, ☐, L)
(qK;s;j;fa, ☐) -> (qK;s;u;fa, ☐, R)
(qK;s;n;fb, a) -> (qK;s;d;fb, a, L)
(qK;s;j;fb, a) -> (qK;s;u;fb, a, R)
(qK;s;n;fb, b) -> (qK;s;d;fb, b, L)
(qK;s;j;fb, b) -> (qK;s;u;fb, b, R)
(qK;s;n;fb, A) -> (qK;s;d;fb, A, L)
(qK;s;j;fb, A) -> (qK;s;u;fb, A, R)
(qK;s;n;fb, B) -> (qK;s;d;fb, B, L)
(qK;s;j;fb, B) -> (qK;s;u;fb, B, R)
(qK;s;n;fb, ☐) -> (qK;s;d;fb, ☐, L)
(qK;s;j;fb, ☐) -> (qK;s;u;fb, ☐, R)
(qK;s;n;fA, a) -> (qK;s;d;fA, a, L)
(qK;s;j;fA, a) -> (qK;s;u;fA, a, R)
(qK;s;n;fA, b) -> (qK;s;d;fA, b, L)
(qK;s;j;fA, b) -> (qK;s;u;fA, b, R)
(qK;s;n;fA, A) -> (qK;s;d;fA, A, L)
(qK;s;j;fA, A) -> (qK;s;u;fA, A, R)
(qK;s;n;fA, B) -> (qK;s;d;fA, B, L)
(qK;s;j;fA, B) -> (qK;s;u;fA, B, R)
(qK;s;n;fA, ☐) -> (qK;s;d;fA, ☐, L)
(qK;s;j;fA, ☐) -> (qK;s;u;fA, ☐, R)
(qK;s;n;fB, a) -> (qK;s;d;fB, a, L)
(qK;s;j;fB, a) -> (qK;s;u;fB, a, R)
(qK;s;n;fB, b) -> (qK;s;d;fB, b, L)
(qK;s;j;fB, b) -> (qK;s;u;fB, b, R)
(qK;s;n;fB, A) -> (qK;s;d;fB, A, L)
(qK;s;j;fB, A) -> (qK;s;u;fB, A, R)
(qK;s;n;fB, B) -> (qK;s;d;fB, B, L)
(qK;s;j;fB, B) -> (qK;s;u;fB, B, R)
(qK;s;n;fB, ☐) -> (qK;s;d;fB, ☐, L)
(qK;s;j;fB, ☐) -> (qK;s;u;fB, ☐, R)
(qK;s;d;fa, a) -> (qK;s;n;fa, a, L)
(qK;s;u;fa, a) -> (qK;s;j;fa, a, R)
(qK;s;d;fa, b) -> (qK;s;n;fb, a, L)
(qK;s;u;fa, b) -> (qK;s;j;fb, a, R)
(qK;s;d;fa, A) -> (qK;s;n;fA, a, L)
(qK;s;u;fa, A) -> (qK;s;j;fA, a, R)
(qK;s;d;fa, B) -> (qK;s;n;fB, a, L)
(qK;s;u;fa, B) -> (qK;s;j;fB, a, R)
(qK;s;d;fa, $) -> (qK;s;u;fa, $, R)
(qK;s;u;fa, ☐) -> (qK;s;b, a, L)
(qK;s;d;fb, a) -> (qK;s;n;fa, b, L)
(qK;s;u;fb, a) -> (qK;s;j;fa, b, R)
(qK;s;d;fb, b) -> (qK;s;n;fb, b, L)
(qK;s;u;fb, b) -> (qK;s;j;fb, b, R)
(qK;s;d;fb, A) -> (qK;s;n;fA, b, L)
(qK;s;u;fb, A) -> (qK;s;j;fA, b, R)
(qK;s;d;fb, B) -> (qK;s;n;fB, b, L)
(qK;s;u;fb, B) -> (qK;s;j;fB, b, R)
(qK;s;d;fb, $) -> (qK;s;u;fb, $, R)
(qK;s;u;fb, ☐) -> (qK;s;b, b, L)
(qK;s;d;fA, a) -> (qK;s;n;fa, A, L)
(qK;s;u;fA, a) -> (qK;s;j;fa, A, R)
(qK;s;d;fA, b) -> (qK;s;n;fb, A, L)
(qK;s;u;fA, b) -> (qK;s;j;fb, A, R)
(qK;s;d;fA, A) -> (qK;s;n;fA, A, L)
(qK;s;u;fA, A) -> (qK;s;j;fA, A, R)
(qK;s;d;fA, B) -> (qK;s;n;fB, A, L)
(qK;s;u;fA, B) -> (qK;s;j;fB, A, R)
(qK;s;d;fA, $) -> (qK;s;u;fA, $, R)
(qK;s;u;fA, ☐) -> (qK;s;b, A, L)
(qK;s;d;fB, a) -> (qK;s;n;fa, B, L)
(qK;s;u;fB, a) -> (qK;s;j;fa, B, R)
(qK;s;d;fB, b) -> (qK;s;n;fb, B, L)
(qK;s;u;fB, b) -> (qK;s;j;fb, B, R)
(qK;s;d;fB, A) -> (qK;s;n;fA, B, L)
(qK;s;u;fB, A) -> (qK;s;j;fA, B, R)
(qK;s;d;fB, B) -> (qK;s;n;fB, B, L)
(qK;s;u;fB, B) -> (qK;s;j;fB, B, R)
(qK;s;d;fB, $) -> (qK;s;u;fB, $, R)
(qK;s;u;fB, ☐) -> (qK;s;b, B, L)

transformRemoveSpaces

(qK;r;e, a) -> (qK;r;e;s, a, R)
(qK;r;e, b) -> (qK;r;e;s, b, R)
(qK;r;e, A) -> (qK;r;e;s, A, R)
(qK;r;e, B) -> (qK;r;e;s, B, R)
(qK;r;e, ☐) -> (qK;r;d, ☐', L)
(qK;r;e;s, a) -> (qK;r;e, a, R)
(qK;r;e;s, b) -> (qK;r;e, b, R)
(qK;r;e;s, A) -> (qK;r;e, A, R)
(qK;r;e;s, B) -> (qK;r;e, B, R)
(qK;r;e;s, ☐) -> (qK;r;e, ☐, R)
(qK;r;d, a) -> (qK;r;d, a, L)
(qK;r;d, b) -> (qK;r;d, b, L)
(qK;r;d, A) -> (qK;r;d, A, L)
(qK;r;d, B) -> (qK;r;d, B, L)
(qK;r;d, ☐) -> (qK;r;d, ☐, L)
(qK;r;d, ☐') -> (qK;r;r, ☐, R)
(qK;r;r, a) -> (qK;r;1, a, R)
(qK;r;r, b) -> (qK;r;1, b, R)
(qK;r;r, A) -> (qK;r;1, A, R)
(qK;r;r, B) -> (qK;r;1, B, R)
(qK;r;r, ☐) -> (qK;r;r, ☐, R)
(qK;r;1, ☐) -> (qK;r;c, ☐', R)
(qK;r;1, ☐') -> (qK;r;s, ☐, L)
(qK;r;1, a) -> (qK;r;1, a, R)
(qK;r;1, b) -> (qK;r;1, b, R)
(qK;r;1, A) -> (qK;r;1, A, R)
(qK;r;1, B) -> (qK;r;1, B, R)
(qK;r;c, a) -> (qK;r;fa, ☐, L)
(qK;r;c, b) -> (qK;r;fb, ☐, L)
(qK;r;c, A) -> (qK;r;fA, ☐, L)
(qK;r;c, B) -> (qK;r;fB, ☐, L)
(qK;r;c, ☐) -> (qK;r;c, ☐, R)
(qK;r;c, ☐') -> (qK;r;b, ☐, L)
(qK;r;fa, ☐) -> (qK;r;fa, ☐, L)
(qK;r;fa, ☐') -> (qK;r;1, a, R)
(qK;r;fb, ☐) -> (qK;r;fb, ☐, L)
(qK;r;fb, ☐') -> (qK;r;1, b, R)
(qK;r;fA, ☐) -> (qK;r;fA, ☐, L)
(qK;r;fA, ☐') -> (qK;r;1, A, R)
(qK;r;fB, ☐) -> (qK;r;fB, ☐, L)
(qK;r;fB, ☐') -> (qK;r;1, B, R)
(qK;r;b, ☐) -> (qK;r;b, ☐, L)
(qK;r;b, ☐') -> (qK;r;s, ☐, L)
(qK;r;s, a) -> (qK;r;s, a, L)
(qK;r;s, b) -> (qK;r;s, b, L)
(qK;r;s, A) -> (qK;r;s, A, L)
(qK;r;s, B) -> (qK;r;s, B, L)
(qK;r;s, ☐) -> (qK, ☐, R)

// startState
(q0, a) -> (q0, a, L)
(q0, b) -> (q0, b, L)
(q0, A) -> (q0, A, L)
(q0, B) -> (q0, B, L)
(q0, ☐) -> (q0;m;e, $, R)
// transformMakeSpaces
(q0;m;e, a) -> (q0;m;e, a, R)
(q0;m;e, b) -> (q0;m;e, b, R)
(q0;m;e, A) -> (q0;m;e, A, R)
(q0;m;e, B) -> (q0;m;e, B, R)
(q0;m;e, ☐) -> (q0;m;l;m0, ☐, L)
(q0;m;s;m1, a) -> (q0;m;ra;m0, ☐, R)
(q0;m;ra;m0, ☐) -> (q0;m;c, a, R)
(q0;m;s;m1, b) -> (q0;m;rb;m0, ☐, R)
(q0;m;rb;m0, ☐) -> (q0;m;c, b, R)
(q0;m;s;m1, A) -> (q0;m;rA;m0, ☐, R)
(q0;m;rA;m0, ☐) -> (q0;m;c, A, R)
(q0;m;s;m1, B) -> (q0;m;rB;m0, ☐, R)
(q0;m;rB;m0, ☐) -> (q0;m;c, B, R)
(q0;m;c, ☐) -> (q0;m;l;m0, ☐, L)
(q0;m;c, a) -> (q0;m;ra;m0, ☐, R)
(q0;m;c, b) -> (q0;m;rb;m0, ☐, R)
(q0;m;c, A) -> (q0;m;rA;m0, ☐, R)
(q0;m;c, B) -> (q0;m;rB;m0, ☐, R)
(q0;m;l;m1, a) -> (q0;m;s;m1, a, R)
(q0;m;l;m1, b) -> (q0;m;s;m1, b, R)
(q0;m;l;m1, A) -> (q0;m;s;m1, A, R)
(q0;m;l;m1, B) -> (q0;m;s;m1, B, R)
(q0;m;l;m1, ☐) -> (q0;m;l;m0, ☐, L)
(q0;m;l;m0, a) -> (q0;m;l;m1, a, L)
(q0;m;l;m0, b) -> (q0;m;l;m1, b, L)
(q0;m;l;m0, A) -> (q0;m;l;m1, A, L)
(q0;m;l;m0, B) -> (q0;m;l;m1, B, L)
(q0;m;l;m1, $) -> (q0;t;r, $, R)
// (q0, a) -> (q0, a, R)
(q0;t;l, a) -> (q0;t;l;l1, a, L)
(q0;t;r, a) -> (q0;t;r;r1, a, R)
// (q0, b) -> (q0, b, R)
(q0;t;l, b) -> (q0;t;l;l1, b, L)
(q0;t;r, b) -> (q0;t;r;r1, b, R)
// (q0, ☐) -> (q1, ☐, L)
(q0;t;l, ☐) -> (q1;t;l;r1, ☐, R)
(q0;t;r, ☐) -> (q1;t;r;l1, ☐, L)
// (q1, a) -> (qA, A, R)
(q1;t;l, a) -> (qA;t;l;l1, A, L)
(q1;t;r, a) -> (qA;t;r;r1, A, R)
// (q1, b) -> (qB, B, R)
(q1;t;l, b) -> (qB;t;l;l1, B, L)
(q1;t;r, b) -> (qB;t;r;r1, B, R)
// (q1, ☐) -> (q2, ☐, R)
(q1;t;l, ☐) -> (q2;t;l;l1, ☐, L)
(q1;t;r, ☐) -> (q2;t;r;r1, ☐, R)
// (q1, A) -> (q1, A, L)
(q1;t;l, A) -> (q1;t;l;r1, A, R)
(q1;t;r, A) -> (q1;t;r;l1, A, L)
// (q1, B) -> (q1, B, L)
(q1;t;l, B) -> (q1;t;l;r1, B, R)
(q1;t;r, B) -> (q1;t;r;l1, B, L)
// (qA, A) -> (qA, A, R)
(qA;t;l, A) -> (qA;t;l;l1, A, L)
(qA;t;r, A) -> (qA;t;r;r1, A, R)
// (qA, B) -> (qA, B, R)
(qA;t;l, B) -> (qA;t;l;l1, B, L)
(qA;t;r, B) -> (qA;t;r;r1, B, R)
// (qA, ☐) -> (q1, A, L)
(qA;t;l, ☐) -> (q1;t;l;r1, A, R)
(qA;t;r, ☐) -> (q1;t;r;l1, A, L)
// (qB, A) -> (qB, A, R)
(qB;t;l, A) -> (qB;t;l;l1, A, L)
(qB;t;r, A) -> (qB;t;r;r1, A, R)
// (qB, B) -> (qB, B, R)
(qB;t;l, B) -> (qB;t;l;l1, B, L)
(qB;t;r, B) -> (qB;t;r;r1, B, R)
// (qB, ☐) -> (q1, B, L)
(qB;t;l, ☐) -> (q1;t;l;r1, B, R)
(qB;t;r, ☐) -> (q1;t;r;l1, B, L)
// (q2, A) -> (q2, a, R)
(q2;t;l, A) -> (q2;t;l;l1, a, L)
(q2;t;r, A) -> (q2;t;r;r1, a, R)
// (q2, B) -> (q2, b, R)
(q2;t;l, B) -> (q2;t;l;l1, b, L)
(q2;t;r, B) -> (q2;t;r;r1, b, R)
// (q2, ☐) -> (qK, ☐, 0)
(q2;t;l, ☐) -> (qK;s;b, ☐, 0)
(q2;t;r, ☐) -> (qK;s;b, ☐, 0)
// inbetween
(q0;t;r;l1, $) -> (q0;t;l;r1, $, R)
(q0;t;l, $) -> (q0;t;r, $, R)
(q0;t;r;r1, a) -> (q0;t;r, a, R)
(q0;t;r;l1, a) -> (q0;t;r, a, L)
(q0;t;l;r1, a) -> (q0;t;l, a, R)
(q0;t;l;l1, a) -> (q0;t;l, a, L)
(q0;t;r;r1, b) -> (q0;t;r, b, R)
(q0;t;r;l1, b) -> (q0;t;r, b, L)
(q0;t;l;r1, b) -> (q0;t;l, b, R)
(q0;t;l;l1, b) -> (q0;t;l, b, L)
(q0;t;r;r1, A) -> (q0;t;r, A, R)
(q0;t;r;l1, A) -> (q0;t;r, A, L)
(q0;t;l;r1, A) -> (q0;t;l, A, R)
(q0;t;l;l1, A) -> (q0;t;l, A, L)
(q0;t;r;r1, B) -> (q0;t;r, B, R)
(q0;t;r;l1, B) -> (q0;t;r, B, L)
(q0;t;l;r1, B) -> (q0;t;l, B, R)
(q0;t;l;l1, B) -> (q0;t;l, B, L)
(q0;t;r;r1, ☐) -> (q0;t;r, ☐, R)
(q0;t;r;l1, ☐) -> (q0;t;r, ☐, L)
(q0;t;l;r1, ☐) -> (q0;t;l, ☐, R)
(q0;t;l;l1, ☐) -> (q0;t;l, ☐, L)
(q1;t;r;l1, $) -> (q1;t;l;r1, $, R)
(q1;t;l, $) -> (q1;t;r, $, R)
(q1;t;r;r1, a) -> (q1;t;r, a, R)
(q1;t;r;l1, a) -> (q1;t;r, a, L)
(q1;t;l;r1, a) -> (q1;t;l, a, R)
(q1;t;l;l1, a) -> (q1;t;l, a, L)
(q1;t;r;r1, b) -> (q1;t;r, b, R)
(q1;t;r;l1, b) -> (q1;t;r, b, L)
(q1;t;l;r1, b) -> (q1;t;l, b, R)
(q1;t;l;l1, b) -> (q1;t;l, b, L)
(q1;t;r;r1, A) -> (q1;t;r, A, R)
(q1;t;r;l1, A) -> (q1;t;r, A, L)
(q1;t;l;r1, A) -> (q1;t;l, A, R)
(q1;t;l;l1, A) -> (q1;t;l, A, L)
(q1;t;r;r1, B) -> (q1;t;r, B, R)
(q1;t;r;l1, B) -> (q1;t;r, B, L)
(q1;t;l;r1, B) -> (q1;t;l, B, R)
(q1;t;l;l1, B) -> (q1;t;l, B, L)
(q1;t;r;r1, ☐) -> (q1;t;r, ☐, R)
(q1;t;r;l1, ☐) -> (q1;t;r, ☐, L)
(q1;t;l;r1, ☐) -> (q1;t;l, ☐, R)
(q1;t;l;l1, ☐) -> (q1;t;l, ☐, L)
(qA;t;r;l1, $) -> (qA;t;l;r1, $, R)
(qA;t;l, $) -> (qA;t;r, $, R)
(qA;t;r;r1, a) -> (qA;t;r, a, R)
(qA;t;r;l1, a) -> (qA;t;r, a, L)
(qA;t;l;r1, a) -> (qA;t;l, a, R)
(qA;t;l;l1, a) -> (qA;t;l, a, L)
(qA;t;r;r1, b) -> (qA;t;r, b, R)
(qA;t;r;l1, b) -> (qA;t;r, b, L)
(qA;t;l;r1, b) -> (qA;t;l, b, R)
(qA;t;l;l1, b) -> (qA;t;l, b, L)
(qA;t;r;r1, A) -> (qA;t;r, A, R)
(qA;t;r;l1, A) -> (qA;t;r, A, L)
(qA;t;l;r1, A) -> (qA;t;l, A, R)
(qA;t;l;l1, A) -> (qA;t;l, A, L)
(qA;t;r;r1, B) -> (qA;t;r, B, R)
(qA;t;r;l1, B) -> (qA;t;r, B, L)
(qA;t;l;r1, B) -> (qA;t;l, B, R)
(qA;t;l;l1, B) -> (qA;t;l, B, L)
(qA;t;r;r1, ☐) -> (qA;t;r, ☐, R)
(qA;t;r;l1, ☐) -> (qA;t;r, ☐, L)
(qA;t;l;r1, ☐) -> (qA;t;l, ☐, R)
(qA;t;l;l1, ☐) -> (qA;t;l, ☐, L)
(qB;t;r;l1, $) -> (qB;t;l;r1, $, R)
(qB;t;l, $) -> (qB;t;r, $, R)
(qB;t;r;r1, a) -> (qB;t;r, a, R)
(qB;t;r;l1, a) -> (qB;t;r, a, L)
(qB;t;l;r1, a) -> (qB;t;l, a, R)
(qB;t;l;l1, a) -> (qB;t;l, a, L)
(qB;t;r;r1, b) -> (qB;t;r, b, R)
(qB;t;r;l1, b) -> (qB;t;r, b, L)
(qB;t;l;r1, b) -> (qB;t;l, b, R)
(qB;t;l;l1, b) -> (qB;t;l, b, L)
(qB;t;r;r1, A) -> (qB;t;r, A, R)
(qB;t;r;l1, A) -> (qB;t;r, A, L)
(qB;t;l;r1, A) -> (qB;t;l, A, R)
(qB;t;l;l1, A) -> (qB;t;l, A, L)
(qB;t;r;r1, B) -> (qB;t;r, B, R)
(qB;t;r;l1, B) -> (qB;t;r, B, L)
(qB;t;l;r1, B) -> (qB;t;l, B, R)
(qB;t;l;l1, B) -> (qB;t;l, B, L)
(qB;t;r;r1, ☐) -> (qB;t;r, ☐, R)
(qB;t;r;l1, ☐) -> (qB;t;r, ☐, L)
(qB;t;l;r1, ☐) -> (qB;t;l, ☐, R)
(qB;t;l;l1, ☐) -> (qB;t;l, ☐, L)
(q2;t;r;l1, $) -> (q2;t;l;r1, $, R)
(q2;t;l, $) -> (q2;t;r, $, R)
(q2;t;r;r1, a) -> (q2;t;r, a, R)
(q2;t;r;l1, a) -> (q2;t;r, a, L)
(q2;t;l;r1, a) -> (q2;t;l, a, R)
(q2;t;l;l1, a) -> (q2;t;l, a, L)
(q2;t;r;r1, b) -> (q2;t;r, b, R)
(q2;t;r;l1, b) -> (q2;t;r, b, L)
(q2;t;l;r1, b) -> (q2;t;l, b, R)
(q2;t;l;l1, b) -> (q2;t;l, b, L)
(q2;t;r;r1, A) -> (q2;t;r, A, R)
(q2;t;r;l1, A) -> (q2;t;r, A, L)
(q2;t;l;r1, A) -> (q2;t;l, A, R)
(q2;t;l;l1, A) -> (q2;t;l, A, L)
(q2;t;r;r1, B) -> (q2;t;r, B, R)
(q2;t;r;l1, B) -> (q2;t;r, B, L)
(q2;t;l;r1, B) -> (q2;t;l, B, R)
(q2;t;l;l1, B) -> (q2;t;l, B, L)
(q2;t;r;r1, ☐) -> (q2;t;r, ☐, R)
(q2;t;r;l1, ☐) -> (q2;t;r, ☐, L)
(q2;t;l;r1, ☐) -> (q2;t;l, ☐, R)
(q2;t;l;l1, ☐) -> (q2;t;l, ☐, L)
(qK;t;r;l1, $) -> (qK;t;l;r1, $, R)
(qK;t;l, $) -> (qK;s;b, $, R)
(qK;t;r;r1, a) -> (qK;s;b, a, R)
(qK;t;r;l1, a) -> (qK;s;b, a, L)
(qK;t;l;r1, a) -> (qK;s;b, a, R)
(qK;t;l;l1, a) -> (qK;s;b, a, L)
(qK;t;r;r1, b) -> (qK;s;b, b, R)
(qK;t;r;l1, b) -> (qK;s;b, b, L)
(qK;t;l;r1, b) -> (qK;s;b, b, R)
(qK;t;l;l1, b) -> (qK;s;b, b, L)
(qK;t;r;r1, A) -> (qK;s;b, A, R)
(qK;t;r;l1, A) -> (qK;s;b, A, L)
(qK;t;l;r1, A) -> (qK;s;b, A, R)
(qK;t;l;l1, A) -> (qK;s;b, A, L)
(qK;t;r;r1, B) -> (qK;s;b, B, R)
(qK;t;r;l1, B) -> (qK;s;b, B, L)
(qK;t;l;r1, B) -> (qK;s;b, B, R)
(qK;t;l;l1, B) -> (qK;s;b, B, L)
(qK;t;r;r1, ☐) -> (qK;s;b, ☐, R)
(qK;t;r;l1, ☐) -> (qK;s;b, ☐, L)
(qK;t;l;r1, ☐) -> (qK;s;b, ☐, R)
(qK;t;l;l1, ☐) -> (qK;s;b, ☐, L)
// transformSymbolsToRight
(qK;s;b, a) -> (qK;s;b, a, L)
(qK;s;b, b) -> (qK;s;b, b, L)
(qK;s;b, A) -> (qK;s;b, A, L)
(qK;s;b, B) -> (qK;s;b, B, L)
(qK;s;b, ☐) -> (qK;s;b, ☐, L)
(qK;s;b, $) -> (qK;s;r;n, $, R)
(qK;s;r;n, a) -> (qK;s;r, a, R)
(qK;s;r;n, b) -> (qK;s;r, b, R)
(qK;s;r;n, A) -> (qK;s;r, A, R)
(qK;s;r;n, B) -> (qK;s;r, B, R)
(qK;s;r;n, ☐) -> (qK;s;r, ☐, R)
(qK;s;r, a) -> (qK;s;r;n, a, R)
(qK;s;r, b) -> (qK;s;r;n, b, R)
(qK;s;r, A) -> (qK;s;r;n, A, R)
(qK;s;r, B) -> (qK;s;r;n, B, R)
(qK;s;r, ☐) -> (qK;s;r;l, ☐, L)
(qK;s;r;l, a) -> (qK;s;m, a, L)
(qK;s;r;l, b) -> (qK;s;m, b, L)
(qK;s;r;l, A) -> (qK;s;m, A, L)
(qK;s;r;l, B) -> (qK;s;m, B, L)
(qK;s;r;l, ☐) -> (qK;s;m, ☐, L)
(qK;s;m, a) -> (qK;s;n;fa, ☐, L)
(qK;s;m, b) -> (qK;s;n;fb, ☐, L)
(qK;s;m, A) -> (qK;s;n;fA, ☐, L)
(qK;s;m, B) -> (qK;s;n;fB, ☐, L)
(qK;s;m, $) -> (qK;r;e, ☐', R)
(qK;s;n;fa, a) -> (qK;s;d;fa, a, L)
(qK;s;j;fa, a) -> (qK;s;u;fa, a, R)
(qK;s;n;fa, b) -> (qK;s;d;fa, b, L)
(qK;s;j;fa, b) -> (qK;s;u;fa, b, R)
(qK;s;n;fa, A) -> (qK;s;d;fa, A, L)
(qK;s;j;fa, A) -> (qK;s;u;fa, A, R)
(qK;s;n;fa, B) -> (qK;s;d;fa, B, L)
(qK;s;j;fa, B) -> (qK;s;u;fa, B, R)
(qK;s;n;fa, ☐) -> (qK;s;d;fa, ☐, L)
(qK;s;j;fa, ☐) -> (qK;s;u;fa, ☐, R)
(qK;s;n;fb, a) -> (qK;s;d;fb, a, L)
(qK;s;j;fb, a) -> (qK;s;u;fb, a, R)
(qK;s;n;fb, b) -> (qK;s;d;fb, b, L)
(qK;s;j;fb, b) -> (qK;s;u;fb, b, R)
(qK;s;n;fb, A) -> (qK;s;d;fb, A, L)
(qK;s;j;fb, A) -> (qK;s;u;fb, A, R)
(qK;s;n;fb, B) -> (qK;s;d;fb, B, L)
(qK;s;j;fb, B) -> (qK;s;u;fb, B, R)
(qK;s;n;fb, ☐) -> (qK;s;d;fb, ☐, L)
(qK;s;j;fb, ☐) -> (qK;s;u;fb, ☐, R)
(qK;s;n;fA, a) -> (qK;s;d;fA, a, L)
(qK;s;j;fA, a) -> (qK;s;u;fA, a, R)
(qK;s;n;fA, b) -> (qK;s;d;fA, b, L)
(qK;s;j;fA, b) -> (qK;s;u;fA, b, R)
(qK;s;n;fA, A) -> (qK;s;d;fA, A, L)
(qK;s;j;fA, A) -> (qK;s;u;fA, A, R)
(qK;s;n;fA, B) -> (qK;s;d;fA, B, L)
(qK;s;j;fA, B) -> (qK;s;u;fA, B, R)
(qK;s;n;fA, ☐) -> (qK;s;d;fA, ☐, L)
(qK;s;j;fA, ☐) -> (qK;s;u;fA, ☐, R)
(qK;s;n;fB, a) -> (qK;s;d;fB, a, L)
(qK;s;j;fB, a) -> (qK;s;u;fB, a, R)
(qK;s;n;fB, b) -> (qK;s;d;fB, b, L)
(qK;s;j;fB, b) -> (qK;s;u;fB, b, R)
(qK;s;n;fB, A) -> (qK;s;d;fB, A, L)
(qK;s;j;fB, A) -> (qK;s;u;fB, A, R)
(qK;s;n;fB, B) -> (qK;s;d;fB, B, L)
(qK;s;j;fB, B) -> (qK;s;u;fB, B, R)
(qK;s;n;fB, ☐) -> (qK;s;d;fB, ☐, L)
(qK;s;j;fB, ☐) -> (qK;s;u;fB, ☐, R)
(qK;s;d;fa, a) -> (qK;s;n;fa, a, L)
(qK;s;u;fa, a) -> (qK;s;j;fa, a, R)
(qK;s;d;fa, b) -> (qK;s;n;fb, a, L)
(qK;s;u;fa, b) -> (qK;s;j;fb, a, R)
(qK;s;d;fa, A) -> (qK;s;n;fA, a, L)
(qK;s;u;fa, A) -> (qK;s;j;fA, a, R)
(qK;s;d;fa, B) -> (qK;s;n;fB, a, L)
(qK;s;u;fa, B) -> (qK;s;j;fB, a, R)
(qK;s;d;fa, $) -> (qK;s;u;fa, $, R)
(qK;s;u;fa, ☐) -> (qK;s;b, a, L)
(qK;s;d;fb, a) -> (qK;s;n;fa, b, L)
(qK;s;u;fb, a) -> (qK;s;j;fa, b, R)
(qK;s;d;fb, b) -> (qK;s;n;fb, b, L)
(qK;s;u;fb, b) -> (qK;s;j;fb, b, R)
(qK;s;d;fb, A) -> (qK;s;n;fA, b, L)
(qK;s;u;fb, A) -> (qK;s;j;fA, b, R)
(qK;s;d;fb, B) -> (qK;s;n;fB, b, L)
(qK;s;u;fb, B) -> (qK;s;j;fB, b, R)
(qK;s;d;fb, $) -> (qK;s;u;fb, $, R)
(qK;s;u;fb, ☐) -> (qK;s;b, b, L)
(qK;s;d;fA, a) -> (qK;s;n;fa, A, L)
(qK;s;u;fA, a) -> (qK;s;j;fa, A, R)
(qK;s;d;fA, b) -> (qK;s;n;fb, A, L)
(qK;s;u;fA, b) -> (qK;s;j;fb, A, R)
(qK;s;d;fA, A) -> (qK;s;n;fA, A, L)
(qK;s;u;fA, A) -> (qK;s;j;fA, A, R)
(qK;s;d;fA, B) -> (qK;s;n;fB, A, L)
(qK;s;u;fA, B) -> (qK;s;j;fB, A, R)
(qK;s;d;fA, $) -> (qK;s;u;fA, $, R)
(qK;s;u;fA, ☐) -> (qK;s;b, A, L)
(qK;s;d;fB, a) -> (qK;s;n;fa, B, L)
(qK;s;u;fB, a) -> (qK;s;j;fa, B, R)
(qK;s;d;fB, b) -> (qK;s;n;fb, B, L)
(qK;s;u;fB, b) -> (qK;s;j;fb, B, R)
(qK;s;d;fB, A) -> (qK;s;n;fA, B, L)
(qK;s;u;fB, A) -> (qK;s;j;fA, B, R)
(qK;s;d;fB, B) -> (qK;s;n;fB, B, L)
(qK;s;u;fB, B) -> (qK;s;j;fB, B, R)
(qK;s;d;fB, $) -> (qK;s;u;fB, $, R)
(qK;s;u;fB, ☐) -> (qK;s;b, B, L)
// transformRemoveSpaces
(qK;r;e, a) -> (qK;r;e;s, a, R)
(qK;r;e, b) -> (qK;r;e;s, b, R)
(qK;r;e, A) -> (qK;r;e;s, A, R)
(qK;r;e, B) -> (qK;r;e;s, B, R)
(qK;r;e, ☐) -> (qK;r;d, ☐', L)
(qK;r;e;s, a) -> (qK;r;e, a, R)
(qK;r;e;s, b) -> (qK;r;e, b, R)
(qK;r;e;s, A) -> (qK;r;e, A, R)
(qK;r;e;s, B) -> (qK;r;e, B, R)
(qK;r;e;s, ☐) -> (qK;r;e, ☐, R)
(qK;r;d, a) -> (qK;r;d, a, L)
(qK;r;d, b) -> (qK;r;d, b, L)
(qK;r;d, A) -> (qK;r;d, A, L)
(qK;r;d, B) -> (qK;r;d, B, L)
(qK;r;d, ☐) -> (qK;r;d, ☐, L)
(qK;r;d, ☐') -> (qK;r;r, ☐, R)
(qK;r;r, a) -> (qK;r;1, a, R)
(qK;r;r, b) -> (qK;r;1, b, R)
(qK;r;r, A) -> (qK;r;1, A, R)
(qK;r;r, B) -> (qK;r;1, B, R)
(qK;r;r, ☐) -> (qK;r;r, ☐, R)
(qK;r;1, ☐) -> (qK;r;c, ☐', R)
(qK;r;1, ☐') -> (qK;r;s, ☐, L)
(qK;r;1, a) -> (qK;r;1, a, R)
(qK;r;1, b) -> (qK;r;1, b, R)
(qK;r;1, A) -> (qK;r;1, A, R)
(qK;r;1, B) -> (qK;r;1, B, R)
(qK;r;c, a) -> (qK;r;fa, ☐, L)
(qK;r;c, b) -> (qK;r;fb, ☐, L)
(qK;r;c, A) -> (qK;r;fA, ☐, L)
(qK;r;c, B) -> (qK;r;fB, ☐, L)
(qK;r;c, ☐) -> (qK;r;c, ☐, R)
(qK;r;c, ☐') -> (qK;r;b, ☐, L)
(qK;r;fa, ☐) -> (qK;r;fa, ☐, L)
(qK;r;fa, ☐') -> (qK;r;1, a, R)
(qK;r;fb, ☐) -> (qK;r;fb, ☐, L)
(qK;r;fb, ☐') -> (qK;r;1, b, R)
(qK;r;fA, ☐) -> (qK;r;fA, ☐, L)
(qK;r;fA, ☐') -> (qK;r;1, A, R)
(qK;r;fB, ☐) -> (qK;r;fB, ☐, L)
(qK;r;fB, ☐') -> (qK;r;1, B, R)
(qK;r;b, ☐) -> (qK;r;b, ☐, L)
(qK;r;b, ☐') -> (qK;r;s, ☐, L)
(qK;r;s, a) -> (qK;r;s, a, L)
(qK;r;s, b) -> (qK;r;s, b, L)
(qK;r;s, A) -> (qK;r;s, A, L)
(qK;r;s, B) -> (qK;r;s, B, L)
(qK;r;s, ☐) -> (qK, ☐, R)

Transformation to one way tape

Original machine

Simulating machine

Original machine - definition

Simulating machine - definition

Original machine - moves (52)

Simulating machine - moves (292)