Аналитические и имитационные модели. Финаев В.И - 41 стр.

UptoLike

41
алфавитом. При поступлении параметра х состояние
конечного автомата изменяется в соответствии с
одношаговой функцией переходов, например:
z(t)=ϕ[z(t-1),х(t)] или z(t)=ϕ[z(t),х(t)],
а выходной параметр y(t) определяется функцией выходов,
которая может иметь следующие виды задания:
y(t)=ψ[z(t),х(t)]; y(t)=ψ[z(t-1),z(t) х(t)]; y(t)=ψ[z(t-1), х(t)].
Функции переходов и выходов могут быть заданы
теоретико-множественным способом, табличным способом
и в виде графов. Рассмотрим пример задания конечного
автомата.
Пусть Х={х
1
,х
2
,х
3
}, Z={z
1
,z
2
,z
3
,z
4
}, Y={y
1
,y
2
,y
3
,y
4
}.
Функция переходов для данного автомата задана в виде
табл. 2.1, а функция выходов вида y(t)=ψ[z(t),х(t)]в виде
табл. 2.2.
Таблица 2.1
Функция переходов
Z
Х
z
1
Z
2
z
3
z
4
х
1
z
1
Z
2
z
3
z
4
х
2
z
2
Z
3
z
4
z
1
х
3
z
4
Z
1
z
2
z
3
Таблица 2.2
Функция выходов
Z
Х
z
1
z
2
z
3
z
4
х
1
y
1
y
4
y
3
y
2
х
2
y
2
y
1
y
4
y
3
х
3
y
3
y
2
y
1
y
4
При задании функции переходов на пересечении iй
строки и
jго столбца указывается состояние z
k
, в которое
переходит автомат при подаче входного параметра х
i
в