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

UptoLike

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

86
В автоматной ленте первая строка представляет дискретное
(автоматное) время. Каждый момент такого времени называется так-
том. Реально каждому такту соответствует фиксированный отрезок
времени. Рассмотрим автоматы более сложной природы. Зададимся
конечным алфавитом
S={s
1
,s
2
,…,s
q
},
который назовем алфавитом внутренних состояний. Символы s
i
бу-
дем называть внутренними состояниями. Предположим, что работа
устройства полностью определяется входным словом и внутренним
состоянием, в котором находится устройство в определенный такт.
Паравходное слово и текущее состояние” (P
i
,s
t
) однозначно опре-
деляет выходное слово и внутреннее состояние, в которое устройст-
во перейдет в следующий такт. Работа такого устройства будет пол-
ностью определена, если задать две таблицы: первая (1) будет оп-
ределять выходное слово, а вторая (2) – новое состояние. Общая
структура таких таблиц совмещена в табл. 3.3.
Таблица 3.3
1 s
1
s
2
… S
q
2s
1
s
2
… s
q
P
1
Q
i1
Q
i2
… Q
iq
P
1
s
i1
s
i2
… s
iq
P
2
Q
iq+1
Q
iq+2
… Q
i2q
P
2
s
iq+1
s
iq+2
… s
i2q
P
n1
Q
in1q
P
n1
S
in1q
Первая таблица определяет выходное слово, соответствующе
паре (P
i
,s
t
), а втораявнутреннее состояние устройства в следую-
щий такт. Устройство, работа которого определяется таблицами 1,
2, называется конечным автоматом с памятью (глубина памяти
равна q) или последовательностной схемой.