Configuration sequence on 000

Here are all steps from start to halt. It is noted when a binary number is on the tape for the first time. The Python code to generate the tables on this page can be downloaded here: LBA.ipynb

Number 000 on tape

State q₀

0

0

0

State q₁

1

0

0

Number 100 on tape

State q₀

1

0

0

State q₀

0

0

0

State q₁

0

1

0

State q₁

0

1

0

Number 010 on tape

State q₀

0

1

0

State q₁

1

1

0

Number 110 on tape

State q₀

1

1

0

State q₀

0

1

0

State q₀

0

0

0

State q₁

0

0

1

State q₁

0

0

1

State q₁

0

0

1

Number 001 on tape

State q₀

0

0

1

State q₁

1

0

1

Number 101 on tape

State q₀

1

0

1

State q₀

0

0

1

State q₁

0

1

1

State q₁

0

1

1

Number 011 on tape

State q₀

0

1

1

State q₁

1

1

1

Number 111 on tape

State q₀

1

1

1

State q₀

0

1

1

State q₀

0

0

1

State q₀

0

0

0

Halt.