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

Некоторые особенности программирования для конечных автоматов (автоматное программирование):

• Параллельное выполнение автоматов. microkontroller.ru Программа представляет собой совокупность конечных автоматов, которые выполняются параллельно и обмениваются между собой сообщениями. microkontroller.ru
• Использование таймеров. microkontroller.ru Они предназначены для привязки работы программы к реальному времени. microkontroller.ru
• Выделение особой переменной состояния. microkontroller.ru Она определяет текущее состояние автомата и должна быть доступна только своему автомату, её изменение из других автоматов недопустимо. microkontroller.ru
• Разбиение временного периода выполнения программы на шаги автомата. ru.wikipedia.org Каждый шаг представляет собой выполнение определённой секции кода с единственной точкой входа. ru.wikipedia.org
• Передача информации между шагами автомата. ru.wikipedia.org Она осуществляется только через явно обозначенное множество переменных, называемых состоянием автомата. ru.wikipedia.org
• Отсутствие неявных элементов состояния. ru.wikipedia.org Между шагами автомата программа не может содержать такие элементы, как значения локальных переменных в стеке, адреса возврата из функций, значение текущего счётчика команд и т. п.. ru.wikipedia.org
• Возможность повторного использования кода. microkontroller.ru Программа состоит из компонентов, которые являются автономными «сущностями» и имеют ограниченное количество связей с остальной программой. microkontroller.ru