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

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

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

Рубрика: 

197
5.20 столбцы для состояний 5 и 7 одинаковые. Вычеркнем столбец
для состояния
7 и перенумеруем оставшиеся состояния (табл. 5.21).
В табл.
5.21 отмеченные
пунктиром состояния – это
конечные состояния. Неопре-
деленные состояния можно
доопределить по результатам
анализа работы автомата.
Так, находясь в конечном состоянии
s
2
и воспринимая х
1
, логично
предположить, что
А перейдет в s
1
. Для пары (s
3
,х
2
) можно доопре-
делить следующее состояние как
s
6
. Аналогично рассуждая, доопре-
делим
δ(s
4
,х
1
)=δ(s
5
,х
1
)=s
1
и δ(s
4
,х
2
)=δ(s
5
,х
2
)=s
6
.
Табл.
5.21 может служить исходным пунктом для структурного
синтеза автомата. Наиболее ясно работа синтезированного автомата
описывается автоматной лентой (рис.
5.24), которую можно постро-
ить по табл.
5.21.
t 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
x(t)
х
1
х
1
х
1
х
2
х
1
х
2
х
1
х
2
х
2
х
2
х
2
х
1
х
1
х
2
х
2
х
1
х
1
х
1
х
2
y(t)
y
3
y
3
y
3
y
1
y
3
y
3
y
1
y
3
y
1
y
1
y
3
y
1
y
3
y
3
y
3
y
1
y
3
y
3
y
1
s(t)
s
0
s
1
s
3
s
4
s
6
s
1
s
2
s
1
s
2
s
5
s
6
s
5
s
1
s
3
s
6
s
5
s
1
s
3
s
4
s(t+1)
s
1
s
3
s
4
s
6
s
1
s
2
s
1
s
2
s
5
s
6
s
5
s
1
s
3
s
6
s
5
s
1
s
3
s
4
s
6
Рис. 5.24
В ряде случаев можно синтезировать абстрактный автомат, ис-
пользуя его теоретико-множественное определение. При этом в пер-
вую очередь следует задать алфавиты
X,Y и S, а затем, рассуждая не
формально и начиная с начального состояния, построить функции
переходов и выходов в табличной форме. Приведем пример синтеза
данным способом для следующего содержательного описания.
Таблица
5.21
y
3
y
3
y
1
y
3
y
1
y
2
y
3
s
0
s
1
s
2
s
3
s
4
s
5
s
6
х
1
s
1
s
3
-(s
1
)
s
4
-(s
1
) -(s
1
)-(s
1
)
х
2
s
6
s
2
s
5
-(s
6
) -(s
6
) -(s
6
)
s
5

Страницы