Clause Groups

• G1 - Guarantee that at each time i, MX is in one and only one state

• G2 - Guarantee that at each time i, MX is scanning one and only one tape square

• G3 - Guarantee that at each time i, there is one and only one symbol in each tape square of the used tape

Previous slide

Next slide

Back to first slide

View graphic version