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

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

• Использование графов переходов. en.wikipedia.org www.osp.ru Автоматы, применяемые для разработки, определяются с помощью таких графов. en.wikipedia.org Для различения их вершин используется кодирование состояний. www.osp.ru
• Применение понятия «состояние». en.wikipedia.org www.osp.ru Оно позволяет более чётко понять и конкретизировать задачу и её части (подзадачи). en.wikipedia.org
• Централизация логики. en.wikipedia.org www.osp.ru Достигается за счёт устранения логики в обработчиках событий и формирования системы взаимодействующих автоматов, которые вызываются из этих обработчиков. en.wikipedia.org
• Использование автоматов трижды: для спецификации, для реализации (они остаются в исходном коде) и для составления протокола, который выполняется в терминах автоматов. en.wikipedia.org Это позволяет проверить правильность функционирования автоматической системы. en.wikipedia.org
• Явное выделение управляющих состояний. en.wikipedia.org www.osp.ru Количество таких состояний заметно меньше, чем количество состояний всех других объектов. en.wikipedia.org
• Отсутствие памяти вне процессора. mmf.iis.nsk.su Вся память автомата занята программой. mmf.iis.nsk.su