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

6ВВЕДЕНИЕАктуальность проблемы. В последнее время при разработкепрограммного обеспечения (ПО) для управляющих систем все ширеприменяется автоматное программирование [22, 27] – парадигмапрограммирования, при использовании которой программу предлагаетсястроить как совокупность автоматизированных объектов управления,каждый из которых содержит систему управления (один или нескольковзаимодействующих управляющих конечных автоматов) и объектуправления.Объект управления характеризуется множеством вычислительныхсостояний, а также двумя наборами функций: множествомпредикатов (они же являются входными переменными или входнымивоздействиями автомата), отображающих вычислительное состояние влогическое значение (истина или ложь), и множеством воздействий,позволяющих изменять вычислительное состояние, которые являютсявыходными воздействиями автомата. Кроме этого, внешняя среда можетгенерировать события, которые поступают на вход управляющегоконечного автомата.Управляющий конечный автомат определяется конечныммножеством управляющих состояний, функцией переходов и функциейвыходных воздействий (выходов). Функция переходов зависит от события,набора значений входных переменных и текущего состояния автомата.Значением этой функции является номер состояния, в которое долженперейти автомат. Функция выходных воздействий в общем случае такжезависит от события, набора значений входных переменных и текущегосостояния автомата. Значением этой функции является набор выходныхвоздействий на объект управления.Главное отличие управляющих конечных автоматов от других типовконечных автоматов (конечных преобразователей и распознавателей)