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

26строками будет удобным по тем же причинам, что и для структурныхавтоматных моделей. Однако интерпретация этого представления можетбыть различной. В программировании обычно используется такаяинтерпретация: каждой выходной переменной сопоставляетсяопределенное изменение вычислительного состояния (действие, команда).При этом единица обозначает наличие воздействия, а ноль – егоотсутствие. В этом случае вектору из нулей соответствует отсутствиекаких-либо команд. Такой вид выходного воздействия может привести кнедетерминизму в том случае, если результат зависит отпоследовательности выполнения команд. Поэтому в качестве выходноговоздействия вместо множества команд часто используетсяпоследовательность команд.1.1.3. Управляющий конечный автоматУправляющий конечный автомат представляет собой набор, где X – множество входных переменных, E –множество событий, Y – множество состояний, y 0 – начальное состояние,– функция выходных воздействий, –функция переходов.Главное отличие управляющих конечных автоматов от других типовконечных автоматов (конечных преобразователей и распознавателей)состоит в том, что в них в пометки переходов входят не отдельныевходные воздействия, а булевы формулы из них. Именно такие автоматы ирассматриваются в дальнейшнм в настоящей диссертации.Приведем пример управляющего конечного автомата – автоматауправления часами с будильником [22]. Эти часы имеют трикнопки (рис. 4), которые предназначены для изменения режима их работыи для настройки текущего времени или времени срабатывания будильника.