TM - To binary alphabet

Alphabet

0, 1, ☐

a -> 000

b -> 001

A -> 010

B -> 011

☐ -> 100

Input tape

0|0|0|0|0|1|0|0|0|0|0|1

Start state

q0

Final states

qK

Transitions (200)

transStartState

(q0, 0) -> (q0;t, 0, 0)
(q0, 1) -> (q0;t, 1, 0)

lookingForSymbol

(q0;t, 0) -> (q0;t;s0, 0, R)
(q0;t, 1) -> (q0;t;s1, 1, R)
(q0;t, ☐) -> (q0;t;s1, 1, R)
(q0;t;s1, ☐) -> (q0;t;s10, 0, R)
(q0;t;s10, ☐) -> (q0;t;f☐;l2, 0, L)
(q0;t;s0, 0) -> (q0;t;s00, 0, R)
(q0;t;s0, 1) -> (q0;t;s01, 1, R)
(q0;t;s1, 0) -> (q0;t;s10, 0, R)
(q0;t;s1, 1) -> (q0;t;s11, 1, R)
(q0;t;s00, 0) -> (q0;t;fa;l2, 0, L)
(q0;t;s00, 1) -> (q0;t;fb;l2, 1, L)
(q0;t;s01, 0) -> (qK, 0, 0)
(q0;t;s01, 1) -> (qK, 1, 0)
(q0;t;s10, 0) -> (q0;t;f☐;l2, 0, L)
(q0;t;s10, 1) -> (qK, 1, 0)
(q0;t;s11, 0) -> (qK, 0, 0)
(q0;t;s11, 1) -> (qK, 1, 0)
(q0;t;fa;l2, 0) -> (q0;t;fa;l1, 0, L)
(q0;t;fa;l1, 0) -> (q0;t;fa, 0, 0)
(q0;t;fb;l2, 0) -> (q0;t;fb;l1, 0, L)
(q0;t;fb;l1, 0) -> (q0;t;fb, 0, 0)
(q0;t;f☐;l2, 0) -> (q0;t;f☐;l1, 0, L)
(q0;t;f☐;l1, 1) -> (q0;t;f☐, 1, 0)

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

(q0;t;fa, 0) -> (q0;t;ma;r2, 0, R)
(q0;t;ma;r2, 0) -> (q0;t;ma;r1, 0, R)
(q0;t;ma;r1, 0) -> (q0;t, 0, R)

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

(q0;t;fb, 0) -> (q0;t;mb;r2, 0, R)
(q0;t;mb;r2, 0) -> (q0;t;mb;r1, 0, R)
(q0;t;mb;r1, 1) -> (q0;t, 1, R)

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

(q0;t;f☐, 1) -> (q0;t;m☐;l2, 1, L)
(q0;t;m☐;l1, 0) -> (q1;t, 0, L)
(q0;t;m☐;l1, 1) -> (q1;t, 1, L)
(q0;t;m☐;l1, ☐) -> (q1;t, ☐, L)
(q0;t;m☐;l2, 0) -> (q0;t;m☐;l1, 0, L)
(q0;t;m☐;l2, 1) -> (q0;t;m☐;l1, 1, L)
(q0;t;m☐;l2, ☐) -> (q0;t;m☐;l1, ☐, L)

lookingForSymbol

(q1;t, 0) -> (q1;t;s0, 0, R)
(q1;t, 1) -> (q1;t;s1, 1, R)
(q1;t, ☐) -> (q1;t;s1, 1, R)
(q1;t;s1, ☐) -> (q1;t;s10, 0, R)
(q1;t;s10, ☐) -> (q1;t;f☐;l2, 0, L)
(q1;t;s0, 0) -> (q1;t;s00, 0, R)
(q1;t;s0, 1) -> (q1;t;s01, 1, R)
(q1;t;s1, 0) -> (q1;t;s10, 0, R)
(q1;t;s1, 1) -> (q1;t;s11, 1, R)
(q1;t;s00, 0) -> (q1;t;fa;l2, 0, L)
(q1;t;s00, 1) -> (q1;t;fb;l2, 1, L)
(q1;t;s01, 0) -> (q1;t;fA;l2, 0, L)
(q1;t;s01, 1) -> (q1;t;fB;l2, 1, L)
(q1;t;s10, 0) -> (q1;t;f☐;l2, 0, L)
(q1;t;s10, 1) -> (qK, 1, 0)
(q1;t;s11, 0) -> (qK, 0, 0)
(q1;t;s11, 1) -> (qK, 1, 0)
(q1;t;fa;l2, 0) -> (q1;t;fa;l1, 0, L)
(q1;t;fa;l1, 0) -> (q1;t;fa, 0, 0)
(q1;t;fb;l2, 0) -> (q1;t;fb;l1, 0, L)
(q1;t;fb;l1, 0) -> (q1;t;fb, 0, 0)
(q1;t;f☐;l2, 0) -> (q1;t;f☐;l1, 0, L)
(q1;t;f☐;l1, 1) -> (q1;t;f☐, 1, 0)
(q1;t;fA;l2, 1) -> (q1;t;fA;l1, 1, L)
(q1;t;fA;l1, 0) -> (q1;t;fA, 0, 0)
(q1;t;fB;l2, 1) -> (q1;t;fB;l1, 1, L)
(q1;t;fB;l1, 0) -> (q1;t;fB, 0, 0)

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

(q1;t;fa, 0) -> (q1;t;ma;r2, 0, R)
(q1;t;ma;r2, 0) -> (q1;t;ma;r1, 1, R)
(q1;t;ma;r1, 0) -> (qA;t, 0, R)

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

(q1;t;fb, 0) -> (q1;t;mb;r2, 0, R)
(q1;t;mb;r2, 0) -> (q1;t;mb;r1, 1, R)
(q1;t;mb;r1, 1) -> (qB;t, 1, R)

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

(q1;t;f☐, 1) -> (q1;t;m☐;r2, 1, R)
(q1;t;m☐;r2, 0) -> (q1;t;m☐;r1, 0, R)
(q1;t;m☐;r1, 0) -> (q2;t, 0, R)

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

(q1;t;fA, 0) -> (q1;t;mA;l2, 0, L)
(q1;t;mA;l1, 0) -> (q1;t, 0, L)
(q1;t;mA;l1, 1) -> (q1;t, 1, L)
(q1;t;mA;l1, ☐) -> (q1;t, ☐, L)
(q1;t;mA;l2, 0) -> (q1;t;mA;l1, 0, L)
(q1;t;mA;l2, 1) -> (q1;t;mA;l1, 1, L)
(q1;t;mA;l2, ☐) -> (q1;t;mA;l1, ☐, L)

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

(q1;t;fB, 0) -> (q1;t;mB;l2, 0, L)
(q1;t;mB;l1, 0) -> (q1;t, 0, L)
(q1;t;mB;l1, 1) -> (q1;t, 1, L)
(q1;t;mB;l1, ☐) -> (q1;t, ☐, L)
(q1;t;mB;l2, 0) -> (q1;t;mB;l1, 0, L)
(q1;t;mB;l2, 1) -> (q1;t;mB;l1, 1, L)
(q1;t;mB;l2, ☐) -> (q1;t;mB;l1, ☐, L)

lookingForSymbol

(qA;t, 0) -> (qA;t;s0, 0, R)
(qA;t, 1) -> (qA;t;s1, 1, R)
(qA;t, ☐) -> (qA;t;s1, 1, R)
(qA;t;s1, ☐) -> (qA;t;s10, 0, R)
(qA;t;s10, ☐) -> (qA;t;f☐;l2, 0, L)
(qA;t;s0, 0) -> (qA;t;s00, 0, R)
(qA;t;s0, 1) -> (qA;t;s01, 1, R)
(qA;t;s1, 0) -> (qA;t;s10, 0, R)
(qA;t;s1, 1) -> (qA;t;s11, 1, R)
(qA;t;s00, 0) -> (qK, 0, 0)
(qA;t;s00, 1) -> (qK, 1, 0)
(qA;t;s01, 0) -> (qA;t;fA;l2, 0, L)
(qA;t;s01, 1) -> (qA;t;fB;l2, 1, L)
(qA;t;s10, 0) -> (qA;t;f☐;l2, 0, L)
(qA;t;s10, 1) -> (qK, 1, 0)
(qA;t;s11, 0) -> (qK, 0, 0)
(qA;t;s11, 1) -> (qK, 1, 0)
(qA;t;fA;l2, 1) -> (qA;t;fA;l1, 1, L)
(qA;t;fA;l1, 0) -> (qA;t;fA, 0, 0)
(qA;t;fB;l2, 1) -> (qA;t;fB;l1, 1, L)
(qA;t;fB;l1, 0) -> (qA;t;fB, 0, 0)
(qA;t;f☐;l2, 0) -> (qA;t;f☐;l1, 0, L)
(qA;t;f☐;l1, 1) -> (qA;t;f☐, 1, 0)

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

(qA;t;fA, 0) -> (qA;t;mA;r2, 0, R)
(qA;t;mA;r2, 1) -> (qA;t;mA;r1, 1, R)
(qA;t;mA;r1, 0) -> (qA;t, 0, R)

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

(qA;t;fB, 0) -> (qA;t;mB;r2, 0, R)
(qA;t;mB;r2, 1) -> (qA;t;mB;r1, 1, R)
(qA;t;mB;r1, 1) -> (qA;t, 1, R)

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

(qA;t;f☐, 1) -> (qA;t;t☐;r2, 0, R)
(qA;t;t☐;l1, 0) -> (qA;t;fA;c☐, 0, 0)
(qA;t;t☐;r2, 0) -> (qA;t;t☐;r1, 1, R)
(qA;t;t☐;l2, 1) -> (qA;t;t☐;l1, 1, L)
(qA;t;t☐;r1, 0) -> (qA;t;t☐;l2, 0, L)
(qA;t;fA;c☐, 0) -> (qA;t;mA;l2;c☐, 0, L)
(qA;t;mA;l1;c☐, 0) -> (q1;t, 0, L)
(qA;t;mA;l1;c☐, 1) -> (q1;t, 1, L)
(qA;t;mA;l1;c☐, ☐) -> (q1;t, ☐, L)
(qA;t;mA;l2;c☐, 0) -> (qA;t;mA;l1;c☐, 0, L)
(qA;t;mA;l2;c☐, 1) -> (qA;t;mA;l1;c☐, 1, L)
(qA;t;mA;l2;c☐, ☐) -> (qA;t;mA;l1;c☐, ☐, L)

lookingForSymbol

(qB;t, 0) -> (qB;t;s0, 0, R)
(qB;t, 1) -> (qB;t;s1, 1, R)
(qB;t, ☐) -> (qB;t;s1, 1, R)
(qB;t;s1, ☐) -> (qB;t;s10, 0, R)
(qB;t;s10, ☐) -> (qB;t;f☐;l2, 0, L)
(qB;t;s0, 0) -> (qB;t;s00, 0, R)
(qB;t;s0, 1) -> (qB;t;s01, 1, R)
(qB;t;s1, 0) -> (qB;t;s10, 0, R)
(qB;t;s1, 1) -> (qB;t;s11, 1, R)
(qB;t;s00, 0) -> (qK, 0, 0)
(qB;t;s00, 1) -> (qK, 1, 0)
(qB;t;s01, 0) -> (qB;t;fA;l2, 0, L)
(qB;t;s01, 1) -> (qB;t;fB;l2, 1, L)
(qB;t;s10, 0) -> (qB;t;f☐;l2, 0, L)
(qB;t;s10, 1) -> (qK, 1, 0)
(qB;t;s11, 0) -> (qK, 0, 0)
(qB;t;s11, 1) -> (qK, 1, 0)
(qB;t;fA;l2, 1) -> (qB;t;fA;l1, 1, L)
(qB;t;fA;l1, 0) -> (qB;t;fA, 0, 0)
(qB;t;fB;l2, 1) -> (qB;t;fB;l1, 1, L)
(qB;t;fB;l1, 0) -> (qB;t;fB, 0, 0)
(qB;t;f☐;l2, 0) -> (qB;t;f☐;l1, 0, L)
(qB;t;f☐;l1, 1) -> (qB;t;f☐, 1, 0)

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

(qB;t;fA, 0) -> (qB;t;mA;r2, 0, R)
(qB;t;mA;r2, 1) -> (qB;t;mA;r1, 1, R)
(qB;t;mA;r1, 0) -> (qB;t, 0, R)

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

(qB;t;fB, 0) -> (qB;t;mB;r2, 0, R)
(qB;t;mB;r2, 1) -> (qB;t;mB;r1, 1, R)
(qB;t;mB;r1, 1) -> (qB;t, 1, R)

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

(qB;t;f☐, 1) -> (qB;t;t☐;r2, 0, R)
(qB;t;t☐;l1, 0) -> (qB;t;fB;c☐, 0, 0)
(qB;t;t☐;r2, 0) -> (qB;t;t☐;r1, 1, R)
(qB;t;t☐;l2, 1) -> (qB;t;t☐;l1, 1, L)
(qB;t;t☐;r1, 0) -> (qB;t;t☐;l2, 1, L)
(qB;t;fB;c☐, 0) -> (qB;t;mB;l2;c☐, 0, L)
(qB;t;mB;l1;c☐, 0) -> (q1;t, 0, L)
(qB;t;mB;l1;c☐, 1) -> (q1;t, 1, L)
(qB;t;mB;l1;c☐, ☐) -> (q1;t, ☐, L)
(qB;t;mB;l2;c☐, 0) -> (qB;t;mB;l1;c☐, 0, L)
(qB;t;mB;l2;c☐, 1) -> (qB;t;mB;l1;c☐, 1, L)
(qB;t;mB;l2;c☐, ☐) -> (qB;t;mB;l1;c☐, ☐, L)

lookingForSymbol

(q2;t, 0) -> (q2;t;s0, 0, R)
(q2;t, 1) -> (q2;t;s1, 1, R)
(q2;t, ☐) -> (q2;t;s1, 1, R)
(q2;t;s1, ☐) -> (q2;t;s10, 0, R)
(q2;t;s10, ☐) -> (q2;t;f☐;l2, 0, L)
(q2;t;s0, 0) -> (q2;t;s00, 0, R)
(q2;t;s0, 1) -> (q2;t;s01, 1, R)
(q2;t;s1, 0) -> (q2;t;s10, 0, R)
(q2;t;s1, 1) -> (q2;t;s11, 1, R)
(q2;t;s00, 0) -> (qK, 0, 0)
(q2;t;s00, 1) -> (qK, 1, 0)
(q2;t;s01, 0) -> (q2;t;fA;l2, 0, L)
(q2;t;s01, 1) -> (q2;t;fB;l2, 1, L)
(q2;t;s10, 0) -> (q2;t;f☐;l2, 0, L)
(q2;t;s10, 1) -> (qK, 1, 0)
(q2;t;s11, 0) -> (qK, 0, 0)
(q2;t;s11, 1) -> (qK, 1, 0)
(q2;t;fA;l2, 1) -> (q2;t;fA;l1, 1, L)
(q2;t;fA;l1, 0) -> (q2;t;fA, 0, 0)
(q2;t;fB;l2, 1) -> (q2;t;fB;l1, 1, L)
(q2;t;fB;l1, 0) -> (q2;t;fB, 0, 0)
(q2;t;f☐;l2, 0) -> (q2;t;f☐;l1, 0, L)
(q2;t;f☐;l1, 1) -> (q2;t;f☐, 1, 0)

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

(q2;t;fA, 0) -> (q2;t;mA;r2, 0, R)
(q2;t;mA;r2, 1) -> (q2;t;mA;r1, 0, R)
(q2;t;mA;r1, 0) -> (q2;t, 0, R)

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

(q2;t;fB, 0) -> (q2;t;mB;r2, 0, R)
(q2;t;mB;r2, 1) -> (q2;t;mB;r1, 0, R)
(q2;t;mB;r1, 1) -> (q2;t, 1, R)

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

(q2;t;f☐, 1) -> (qK, 1, 0)

// transStartState
(q0, 0) -> (q0;t, 0, 0)
(q0, 1) -> (q0;t, 1, 0)
// lookingForSymbol
(q0;t, 0) -> (q0;t;s0, 0, R)
(q0;t, 1) -> (q0;t;s1, 1, R)
(q0;t, ☐) -> (q0;t;s1, 1, R)
(q0;t;s1, ☐) -> (q0;t;s10, 0, R)
(q0;t;s10, ☐) -> (q0;t;f☐;l2, 0, L)
(q0;t;s0, 0) -> (q0;t;s00, 0, R)
(q0;t;s0, 1) -> (q0;t;s01, 1, R)
(q0;t;s1, 0) -> (q0;t;s10, 0, R)
(q0;t;s1, 1) -> (q0;t;s11, 1, R)
(q0;t;s00, 0) -> (q0;t;fa;l2, 0, L)
(q0;t;s00, 1) -> (q0;t;fb;l2, 1, L)
(q0;t;s01, 0) -> (qK, 0, 0)
(q0;t;s01, 1) -> (qK, 1, 0)
(q0;t;s10, 0) -> (q0;t;f☐;l2, 0, L)
(q0;t;s10, 1) -> (qK, 1, 0)
(q0;t;s11, 0) -> (qK, 0, 0)
(q0;t;s11, 1) -> (qK, 1, 0)
(q0;t;fa;l2, 0) -> (q0;t;fa;l1, 0, L)
(q0;t;fa;l1, 0) -> (q0;t;fa, 0, 0)
(q0;t;fb;l2, 0) -> (q0;t;fb;l1, 0, L)
(q0;t;fb;l1, 0) -> (q0;t;fb, 0, 0)
(q0;t;f☐;l2, 0) -> (q0;t;f☐;l1, 0, L)
(q0;t;f☐;l1, 1) -> (q0;t;f☐, 1, 0)
// (q0, a) -> (q0, a, R)
(q0;t;fa, 0) -> (q0;t;ma;r2, 0, R)
(q0;t;ma;r2, 0) -> (q0;t;ma;r1, 0, R)
(q0;t;ma;r1, 0) -> (q0;t, 0, R)
// (q0, b) -> (q0, b, R)
(q0;t;fb, 0) -> (q0;t;mb;r2, 0, R)
(q0;t;mb;r2, 0) -> (q0;t;mb;r1, 0, R)
(q0;t;mb;r1, 1) -> (q0;t, 1, R)
// (q0, ☐) -> (q1, ☐, L)
(q0;t;f☐, 1) -> (q0;t;m☐;l2, 1, L)
(q0;t;m☐;l1, 0) -> (q1;t, 0, L)
(q0;t;m☐;l1, 1) -> (q1;t, 1, L)
(q0;t;m☐;l1, ☐) -> (q1;t, ☐, L)
(q0;t;m☐;l2, 0) -> (q0;t;m☐;l1, 0, L)
(q0;t;m☐;l2, 1) -> (q0;t;m☐;l1, 1, L)
(q0;t;m☐;l2, ☐) -> (q0;t;m☐;l1, ☐, L)
// lookingForSymbol
(q1;t, 0) -> (q1;t;s0, 0, R)
(q1;t, 1) -> (q1;t;s1, 1, R)
(q1;t, ☐) -> (q1;t;s1, 1, R)
(q1;t;s1, ☐) -> (q1;t;s10, 0, R)
(q1;t;s10, ☐) -> (q1;t;f☐;l2, 0, L)
(q1;t;s0, 0) -> (q1;t;s00, 0, R)
(q1;t;s0, 1) -> (q1;t;s01, 1, R)
(q1;t;s1, 0) -> (q1;t;s10, 0, R)
(q1;t;s1, 1) -> (q1;t;s11, 1, R)
(q1;t;s00, 0) -> (q1;t;fa;l2, 0, L)
(q1;t;s00, 1) -> (q1;t;fb;l2, 1, L)
(q1;t;s01, 0) -> (q1;t;fA;l2, 0, L)
(q1;t;s01, 1) -> (q1;t;fB;l2, 1, L)
(q1;t;s10, 0) -> (q1;t;f☐;l2, 0, L)
(q1;t;s10, 1) -> (qK, 1, 0)
(q1;t;s11, 0) -> (qK, 0, 0)
(q1;t;s11, 1) -> (qK, 1, 0)
(q1;t;fa;l2, 0) -> (q1;t;fa;l1, 0, L)
(q1;t;fa;l1, 0) -> (q1;t;fa, 0, 0)
(q1;t;fb;l2, 0) -> (q1;t;fb;l1, 0, L)
(q1;t;fb;l1, 0) -> (q1;t;fb, 0, 0)
(q1;t;f☐;l2, 0) -> (q1;t;f☐;l1, 0, L)
(q1;t;f☐;l1, 1) -> (q1;t;f☐, 1, 0)
(q1;t;fA;l2, 1) -> (q1;t;fA;l1, 1, L)
(q1;t;fA;l1, 0) -> (q1;t;fA, 0, 0)
(q1;t;fB;l2, 1) -> (q1;t;fB;l1, 1, L)
(q1;t;fB;l1, 0) -> (q1;t;fB, 0, 0)
// (q1, a) -> (qA, A, R)
(q1;t;fa, 0) -> (q1;t;ma;r2, 0, R)
(q1;t;ma;r2, 0) -> (q1;t;ma;r1, 1, R)
(q1;t;ma;r1, 0) -> (qA;t, 0, R)
// (q1, b) -> (qB, B, R)
(q1;t;fb, 0) -> (q1;t;mb;r2, 0, R)
(q1;t;mb;r2, 0) -> (q1;t;mb;r1, 1, R)
(q1;t;mb;r1, 1) -> (qB;t, 1, R)
// (q1, ☐) -> (q2, ☐, R)
(q1;t;f☐, 1) -> (q1;t;m☐;r2, 1, R)
(q1;t;m☐;r2, 0) -> (q1;t;m☐;r1, 0, R)
(q1;t;m☐;r1, 0) -> (q2;t, 0, R)
// (q1, A) -> (q1, A, L)
(q1;t;fA, 0) -> (q1;t;mA;l2, 0, L)
(q1;t;mA;l1, 0) -> (q1;t, 0, L)
(q1;t;mA;l1, 1) -> (q1;t, 1, L)
(q1;t;mA;l1, ☐) -> (q1;t, ☐, L)
(q1;t;mA;l2, 0) -> (q1;t;mA;l1, 0, L)
(q1;t;mA;l2, 1) -> (q1;t;mA;l1, 1, L)
(q1;t;mA;l2, ☐) -> (q1;t;mA;l1, ☐, L)
// (q1, B) -> (q1, B, L)
(q1;t;fB, 0) -> (q1;t;mB;l2, 0, L)
(q1;t;mB;l1, 0) -> (q1;t, 0, L)
(q1;t;mB;l1, 1) -> (q1;t, 1, L)
(q1;t;mB;l1, ☐) -> (q1;t, ☐, L)
(q1;t;mB;l2, 0) -> (q1;t;mB;l1, 0, L)
(q1;t;mB;l2, 1) -> (q1;t;mB;l1, 1, L)
(q1;t;mB;l2, ☐) -> (q1;t;mB;l1, ☐, L)
// lookingForSymbol
(qA;t, 0) -> (qA;t;s0, 0, R)
(qA;t, 1) -> (qA;t;s1, 1, R)
(qA;t, ☐) -> (qA;t;s1, 1, R)
(qA;t;s1, ☐) -> (qA;t;s10, 0, R)
(qA;t;s10, ☐) -> (qA;t;f☐;l2, 0, L)
(qA;t;s0, 0) -> (qA;t;s00, 0, R)
(qA;t;s0, 1) -> (qA;t;s01, 1, R)
(qA;t;s1, 0) -> (qA;t;s10, 0, R)
(qA;t;s1, 1) -> (qA;t;s11, 1, R)
(qA;t;s00, 0) -> (qK, 0, 0)
(qA;t;s00, 1) -> (qK, 1, 0)
(qA;t;s01, 0) -> (qA;t;fA;l2, 0, L)
(qA;t;s01, 1) -> (qA;t;fB;l2, 1, L)
(qA;t;s10, 0) -> (qA;t;f☐;l2, 0, L)
(qA;t;s10, 1) -> (qK, 1, 0)
(qA;t;s11, 0) -> (qK, 0, 0)
(qA;t;s11, 1) -> (qK, 1, 0)
(qA;t;fA;l2, 1) -> (qA;t;fA;l1, 1, L)
(qA;t;fA;l1, 0) -> (qA;t;fA, 0, 0)
(qA;t;fB;l2, 1) -> (qA;t;fB;l1, 1, L)
(qA;t;fB;l1, 0) -> (qA;t;fB, 0, 0)
(qA;t;f☐;l2, 0) -> (qA;t;f☐;l1, 0, L)
(qA;t;f☐;l1, 1) -> (qA;t;f☐, 1, 0)
// (qA, A) -> (qA, A, R)
(qA;t;fA, 0) -> (qA;t;mA;r2, 0, R)
(qA;t;mA;r2, 1) -> (qA;t;mA;r1, 1, R)
(qA;t;mA;r1, 0) -> (qA;t, 0, R)
// (qA, B) -> (qA, B, R)
(qA;t;fB, 0) -> (qA;t;mB;r2, 0, R)
(qA;t;mB;r2, 1) -> (qA;t;mB;r1, 1, R)
(qA;t;mB;r1, 1) -> (qA;t, 1, R)
// (qA, ☐) -> (q1, A, L)
(qA;t;f☐, 1) -> (qA;t;t☐;r2, 0, R)
(qA;t;t☐;l1, 0) -> (qA;t;fA;c☐, 0, 0)
(qA;t;t☐;r2, 0) -> (qA;t;t☐;r1, 1, R)
(qA;t;t☐;l2, 1) -> (qA;t;t☐;l1, 1, L)
(qA;t;t☐;r1, 0) -> (qA;t;t☐;l2, 0, L)
(qA;t;fA;c☐, 0) -> (qA;t;mA;l2;c☐, 0, L)
(qA;t;mA;l1;c☐, 0) -> (q1;t, 0, L)
(qA;t;mA;l1;c☐, 1) -> (q1;t, 1, L)
(qA;t;mA;l1;c☐, ☐) -> (q1;t, ☐, L)
(qA;t;mA;l2;c☐, 0) -> (qA;t;mA;l1;c☐, 0, L)
(qA;t;mA;l2;c☐, 1) -> (qA;t;mA;l1;c☐, 1, L)
(qA;t;mA;l2;c☐, ☐) -> (qA;t;mA;l1;c☐, ☐, L)
// lookingForSymbol
(qB;t, 0) -> (qB;t;s0, 0, R)
(qB;t, 1) -> (qB;t;s1, 1, R)
(qB;t, ☐) -> (qB;t;s1, 1, R)
(qB;t;s1, ☐) -> (qB;t;s10, 0, R)
(qB;t;s10, ☐) -> (qB;t;f☐;l2, 0, L)
(qB;t;s0, 0) -> (qB;t;s00, 0, R)
(qB;t;s0, 1) -> (qB;t;s01, 1, R)
(qB;t;s1, 0) -> (qB;t;s10, 0, R)
(qB;t;s1, 1) -> (qB;t;s11, 1, R)
(qB;t;s00, 0) -> (qK, 0, 0)
(qB;t;s00, 1) -> (qK, 1, 0)
(qB;t;s01, 0) -> (qB;t;fA;l2, 0, L)
(qB;t;s01, 1) -> (qB;t;fB;l2, 1, L)
(qB;t;s10, 0) -> (qB;t;f☐;l2, 0, L)
(qB;t;s10, 1) -> (qK, 1, 0)
(qB;t;s11, 0) -> (qK, 0, 0)
(qB;t;s11, 1) -> (qK, 1, 0)
(qB;t;fA;l2, 1) -> (qB;t;fA;l1, 1, L)
(qB;t;fA;l1, 0) -> (qB;t;fA, 0, 0)
(qB;t;fB;l2, 1) -> (qB;t;fB;l1, 1, L)
(qB;t;fB;l1, 0) -> (qB;t;fB, 0, 0)
(qB;t;f☐;l2, 0) -> (qB;t;f☐;l1, 0, L)
(qB;t;f☐;l1, 1) -> (qB;t;f☐, 1, 0)
// (qB, A) -> (qB, A, R)
(qB;t;fA, 0) -> (qB;t;mA;r2, 0, R)
(qB;t;mA;r2, 1) -> (qB;t;mA;r1, 1, R)
(qB;t;mA;r1, 0) -> (qB;t, 0, R)
// (qB, B) -> (qB, B, R)
(qB;t;fB, 0) -> (qB;t;mB;r2, 0, R)
(qB;t;mB;r2, 1) -> (qB;t;mB;r1, 1, R)
(qB;t;mB;r1, 1) -> (qB;t, 1, R)
// (qB, ☐) -> (q1, B, L)
(qB;t;f☐, 1) -> (qB;t;t☐;r2, 0, R)
(qB;t;t☐;l1, 0) -> (qB;t;fB;c☐, 0, 0)
(qB;t;t☐;r2, 0) -> (qB;t;t☐;r1, 1, R)
(qB;t;t☐;l2, 1) -> (qB;t;t☐;l1, 1, L)
(qB;t;t☐;r1, 0) -> (qB;t;t☐;l2, 1, L)
(qB;t;fB;c☐, 0) -> (qB;t;mB;l2;c☐, 0, L)
(qB;t;mB;l1;c☐, 0) -> (q1;t, 0, L)
(qB;t;mB;l1;c☐, 1) -> (q1;t, 1, L)
(qB;t;mB;l1;c☐, ☐) -> (q1;t, ☐, L)
(qB;t;mB;l2;c☐, 0) -> (qB;t;mB;l1;c☐, 0, L)
(qB;t;mB;l2;c☐, 1) -> (qB;t;mB;l1;c☐, 1, L)
(qB;t;mB;l2;c☐, ☐) -> (qB;t;mB;l1;c☐, ☐, L)
// lookingForSymbol
(q2;t, 0) -> (q2;t;s0, 0, R)
(q2;t, 1) -> (q2;t;s1, 1, R)
(q2;t, ☐) -> (q2;t;s1, 1, R)
(q2;t;s1, ☐) -> (q2;t;s10, 0, R)
(q2;t;s10, ☐) -> (q2;t;f☐;l2, 0, L)
(q2;t;s0, 0) -> (q2;t;s00, 0, R)
(q2;t;s0, 1) -> (q2;t;s01, 1, R)
(q2;t;s1, 0) -> (q2;t;s10, 0, R)
(q2;t;s1, 1) -> (q2;t;s11, 1, R)
(q2;t;s00, 0) -> (qK, 0, 0)
(q2;t;s00, 1) -> (qK, 1, 0)
(q2;t;s01, 0) -> (q2;t;fA;l2, 0, L)
(q2;t;s01, 1) -> (q2;t;fB;l2, 1, L)
(q2;t;s10, 0) -> (q2;t;f☐;l2, 0, L)
(q2;t;s10, 1) -> (qK, 1, 0)
(q2;t;s11, 0) -> (qK, 0, 0)
(q2;t;s11, 1) -> (qK, 1, 0)
(q2;t;fA;l2, 1) -> (q2;t;fA;l1, 1, L)
(q2;t;fA;l1, 0) -> (q2;t;fA, 0, 0)
(q2;t;fB;l2, 1) -> (q2;t;fB;l1, 1, L)
(q2;t;fB;l1, 0) -> (q2;t;fB, 0, 0)
(q2;t;f☐;l2, 0) -> (q2;t;f☐;l1, 0, L)
(q2;t;f☐;l1, 1) -> (q2;t;f☐, 1, 0)
// (q2, A) -> (q2, a, R)
(q2;t;fA, 0) -> (q2;t;mA;r2, 0, R)
(q2;t;mA;r2, 1) -> (q2;t;mA;r1, 0, R)
(q2;t;mA;r1, 0) -> (q2;t, 0, R)
// (q2, B) -> (q2, b, R)
(q2;t;fB, 0) -> (q2;t;mB;r2, 0, R)
(q2;t;mB;r2, 1) -> (q2;t;mB;r1, 0, R)
(q2;t;mB;r1, 1) -> (q2;t, 1, R)
// (q2, ☐) -> (qK, ☐, 0)
(q2;t;f☐, 1) -> (qK, 1, 0)

Transformation to binary alphabet

Original machine

Simulating machine

Original machine - definition

Simulating machine - definition

Original machine - moves (52)

Simulating machine - moves (428)