G2 Clause Meanings

• The first clause says that MX must be scanning at least one tape square at every time i.

• The second set of clauses says that MX cannot be scanning more than one tape square at any given time i.

Previous slide

Next slide

Back to first slide

View graphic version