+ - +
B 0 A AB B 0 B AB A 0 B AB A 0
| | |
1 2 3
В точке 3 - реверс
В точке 2 переключение с INC должно быть всегда, независимо от того, с какой стороны перед этим пришли в точку 1. Значит, анализ предыдущего состояния ничего не даст. Остается анализ пре- и пре-пре- состояний. Будет ошибка, если реверс 3 произойдет раньше:
+ +
B 0 A AB B AB A 0 A AB B...
| | |
1 2 3