Методы построения конечных автоматов на основе ...

20При традиционной программной реализации сущностей с такимповедением используются переменные, называемые флагами. Их роль –участвовать в конструкциях ветвления, реализующих логику поведения.Флаги неявно задают отдельные компоненты состояний. Использованиефлагов трудно для понимания, подвержено ошибкам и практически нерасширяемо.Вместо этого в автоматном программировании предлагается [18]описывать системы со сложным поведением, приписывая каждой из нихнекоторое множество управляющих состояний (в дальнейшем, если неоговаривается особо, состояний). В этих состояниях поведение системыявляется простым и может быть описано явно. Связь управляющихсостояний с выходными воздействиями и механизм переходов междусостояниями удобно описывать с помощью конечных автоматов свыходами [26]. При этом все описание поведения системы оказываетсясосредоточенным в автомате или системе взаимодействующих автоматов.Одним из наиболее широких классов систем, для которыхцелесообразно применять такой подход, являются реактивные системы.Системы этого класса могут быть также названы событийными. В такихсистемах в качестве входных воздействий используются события ивходные переменные. События, в отличие от входных переменных, неопрашиваются программой, а вызывают соответствующие имобработчики. Входные переменные и выходные воздействия реализуютсяпроизвольными подпрограммами (функциями). Перечислим основныеотличия реактивных систем от систем других классов.Если в системах логического управления [28] в качестве входныхвоздействий используются опрашиваемые программой двоичные входныепеременные и предикаты, соответствующие определенным состояниямавтоматов, взаимодействующих с рассматриваемым автоматом, то для«реактивных» систем это понятие расширено. Во-первых, в качестве