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

UptoLike

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

87
Обобщенное обозначение такого устройства
приведено на рис. 3.2.
Рассмотрим пример простейшей автоматной
таблицы, в которой q=2; х={х
1
,х
2
}, n=2, Y={y
1
,y
2
}
и m=2. Возможный вариант автомата с памятью
определяется табл. 3.4.
Таблица 3.4
1 s
1
s
2
2 s
1
s
2
P
1
=x
1
x
1
s
1
s
1
P
1
Q
1
=y
1
y
1
Q
3
=y
2
y
1
P
2
=x
1
x
2
s
1
s
2
P
2
Q
2
=y
1
y
2
Q
3
P
3
=x
2
x
1
s
1
s
2
P
3
Q
2
Q
3
P
4
=x
2
x
2
s
2
s
2
P
4
Q
2
Q
4
=y
2
y
2
Моделировать поведение автомата с памятью можно автомат-
ной лентой, в которой определено начальное состояние. Пример та-
кой ленты для автомата, заданного табл. 3.4, приведен в табл. 3.5.
Таблица 3.5
t 0 1 2 3 4 5 6 ..........
s
i
s
1
s
1
s
2
s
2
s
1
s
1
s
1
..........
P
j
P
1
P
4
P
2
P
1
P
2
P
3
..........
Q
k
Q
1
Q
4
Q
3
Q
3
Q
2
Q
2
..........
Конечные автоматы без памяти и с памятью являются устрой-
ствами детерминированного типа. Описание их работы в виде соот-
ветствия (3.1) и табл. 3.3 есть задание жесткого, однозначно опреде-
ленного алгоритма их работы. Обобщением таких детерминирован-
ных автоматов являются автоматы стохастического типа. В таких ав-
томатах вместо однозначного соответствия P
i
Q
j
или (P
i
,s
t
)
(Q
j
,s
r
)
задается лишь вероятность замены P
i
на Q
j
или (P
i
,s
t
) на (Q
j
,s
r
). Эта
Рис. 3.2
(Р
i
,s
t
)
(Q
j
,s
r
)
1 2 n
1 2 m