В чем заключается особенность построения алгоритмов в теории автоматов?

Некоторые особенности построения алгоритмов в теории автоматов:

• Использование графов переходов. 23 Автоматы, применяемые для разработки, определяются с помощью таких графов. 2 Для различения их вершин используется кодирование состояний. 3
• Применение понятия «состояние». 23 Оно позволяет более чётко понять и конкретизировать задачу и её части (подзадачи). 2
• Централизация логики. 23 Достигается за счёт устранения логики в обработчиках событий и формирования системы взаимодействующих автоматов, которые вызываются из этих обработчиков. 2
• Использование автоматов трижды: для спецификации, для реализации (они остаются в исходном коде) и для составления протокола, который выполняется в терминах автоматов. 2 Это позволяет проверить правильность функционирования автоматической системы. 2
• Явное выделение управляющих состояний. 23 Количество таких состояний заметно меньше, чем количество состояний всех других объектов. 2
• Отсутствие памяти вне процессора. 1 Вся память автомата занята программой. 1