Основы синтеза и диагностирования автоматов. Воронин В.В. - 194 стр.

UptoLike

Составители: 

190
горитм работы автомата задан в описательной форме, то получение
таблицы переходов-выходов дело не такое уж простое. Для перехода
от содержательного описания к автоматной таблице существует не-
сколько методов. В данном подразделе рассматривается классиче-
ский метод регулярных событий. Прежде, чем переходить к изложе-
нию этого метода, рассмотрим пример, содержательного описания
процесса
функционирования автомата.
Автомат имеет множество входных сигналов Х={x
1
,x
2
} и мно-
жество выходных сигналов Y={y
1
,y
2
,y
3
}. Каждый раз при поступле-
нии на вход автомата серии из трех букв х
1
на выходе автомата фор-
мируется сигнал у
1
. Если длина серии букв х
1
больше или равна
трем, то после окончания этой серии автомат выдает сигнал у
3
в мо-
мент поступления на его вход буквы х
2
. Во всех остальных случаях
автомат выдает сигнал у
2
.
Представление событий в автоматах. В основе метода регу-
лярных событий лежит понятие события, представимого в автоматах.
Событием называется любое множество S(x
1
,x
2
,…,x
m
) слов, со-
ставленных из символов входного алфавита Х={x
1
,…,x
m
}.
Пусть Yвыходной алфавит заданного автомата А с начальным
состоянием s
0
. Тогда каждому символу y
i
Y, i=1,k, можно поставить
в соответствие множество входных слов S
i
(x
1
,…,x
m
), элементы кото-
рого вызывают появление на выходе данного автомата символа y
i
.
Множество S
i
называют событием, представленным в автомате А вы-
ходным сигналом y
i
. Теперь, для задания конечного автомата,
имеющего выходной алфавит Y={y
1
,…,y
k
}, достаточно разбить мно-
жество всех входных слов на k событий S
1
, S
2
, …, S
k
, представлен-
ных в автомате выходными сигналами y
1
, y
2
, …, y
k
. Для частичного
автомата, кроме того, нужно задать множество запрещенных собы-
тий S
3
. Тогда автомат может быть задан таблицей, устанавливающей