В данном разделе обсуждаются вопросы программной реализации различных автоматных моделей, а также рассматривается реализация систем со сложным поведением в целом в рамках процедурного программирования с явным выделением состояний.
В разделе 2.3.1 внимание уделяется задачам логического управления, а в разделе 2.3.2 класс рассматриваемых задач расширяется до произвольных систем со сложным поведением. Задачи логического управления снова, как и в предыдущих разделах, рассматриваются отдельно по нескольким причинам. Во-первых, они имеют ярко выраженные особенности: отсутствие событий, автоматы активны, взаимодействие путем обмена номерами состояний. Во-вторых, логическое управление — традиционная область применения автоматного программирования, и рассматривая приемы, используемые в этой области, отдельно от остальных, можно проследить эволюцию автоматной парадигмы. Подчеркнем, что приемы реализации, рассматриваемые в этом разделе, являются частью общего метода разработки систем со сложным поведением (программирования с явным выделением состояний) и не могут рассматриваться самостоятельно. В частности, будем полагать, что до начала реализации некоторой системы уже закончен этап ее проектирования (или, по крайней мере, очередная итерация этого этапа): выделены объекты управления и автоматы, для каждого автомата простроена схема связей и граф переходов.