3 Абстрактний синтез
.1 Розмітка вхід-вихідних слів для автомата Милі
.1.1 Перша стратегія
0z 0 z 0 z 0 z 0 c cw 0 w 0 w 0 w 0 a 1 a 2 a 3 a 4 a 5 a 1 1z 0 < span align = "justify"> z 0 z 0 z 1 c cw 0 w 0 w 0 w 1 a 1 a 2 a 3 a 4 a 6 a 1 2z 0 z 0 z 1 z 0 c cw 0 w 0 w 1 w 0 a 1 a 2 a 3 < span align = "justify"> a 7 a
