Кванторы (метод конкретизации), дешифратор, минимизация автомата.

Готовлю к экзамену. Решаю методом конкретизации, составляю дешифратор, минимизирую автомат. В видео забыл указать один момент. Рассматриваемый автомат является неинерциальным, поэтому начинать "шифровать" слово можно с любого состояния (в видео я начал с первого), например второго, третьего и т.д. В любом случае, когда "шифровать" вы начинаете с помощью минимизированного автомата, то вы обязаны вспомнить, с какого состояния вы начинали работать с исходным автоматом, найти номер состояния во множествах новых состояний (помеченных штрихом) - состояние со штрихом, в которое будет входить выбранное вами исходное состояние, и будет являться исходным состоянием для минимизированного автомата. Также в видео присутствует ошибка: ячейка 3-4 не должна быть зачёркнута (однако на ответ она не повлияла).