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

21входных переменных применяются любые подпрограммы (функции),возвращающие двоичные значения, а, во-вторых, введены события, нетолько обеспечивающие возможность выполнения переходов в автоматах,но и инициирующие запуск автоматов. События могут такжеинициировать реализацию выходных воздействий в случае, когдасостояние автомата не изменяется.Другое отличие «реактивных» систем от систем логическогоуправления состоит в том, что в них в качестве выходных воздействийприменяются не двоичные переменные, а произвольные подпрограммы.Также как и в системах логического управления, в «реактивных»системах алгоритмы представляются в виде системы взаимосвязанныхавтоматов. При этом если в системах первого типа взаимодействиеавтоматов в основном осуществляется за счет обмена номерами состояний,а вложенность присутствует в «зачаточном» состоянии, то в «реактивных»системах число способов взаимодействия увеличилось.1.1.2. Парадигма автоматного программированияАвтоматное программирование, предложенное в работе [22], – этопарадигма программирования, которая состоит в представлении сущностейсо сложным поведением в виде автоматизированных объектовуправления.Одна из центральных идей автоматного программирования состоит вотделении описания логики поведения (при каких условиях необходимовыполнить те или иные действия) от описания его семантики (собственносмысла каждого из воздействий). Кроме того, описание логики приавтоматном подходе жестко структурировано. Эти два свойства делаютавтоматное описание сложного поведения ясным и удобным.Базовым понятием автоматного программирования является«состояние». Это понятие в том смысле, как оно используется вописываемой парадигме, было введено А. Тьюрингом. Основное свойство