> Z 0 CCW 0 W 1 W < span align = "justify"> 1 W 0 6Z 0 Z 1 Z 1 Z 1 CCW 0 W 1 W 1 W 1 7Z 1 Z 1 Z 0 Z 1 CCW 1 W 0 span> W 1 W 0 8Z 1 Z 1 Z 1 Z 0 CCW 1 W 1 W 0 W < span align = "justify"> 0 9Z 1 Z 1 Z 1 Z 1 CCW 1 W 1 W 0 W 1
Отримане автоматне відображення задовольняє таким умовам:
1. автоматне відображення є однозначним;
2. автоматне відображення зберігає довжину слова;
. автоматне відображення однозначно переводить будь початковий відрізок вхідного слова у відповідний початковий відрізок вихідного слова такий же довгі.
...