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

UptoLike

ВУЗ: 

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

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

Рубрика: 

178
При входном символе x
1
со-
стояние системы изменится
на другое, пусть это будет
s
1
; при x
2
- s
2
; при x
3
- s
3
.
Рассмотрим входной символ
x
4
, при его поступлении сис-
тема должна оставаться в
«старом» состоянии и выда-
вать сигнал аварии. Этому
случаю соответствуют петли
у вершин s
i
, каждая петля
будет взвешена входом x
4
∨
x
i
и выходом y
i
/y
i+4
(рис. 5.18).
Относительно состояния s
0
мы исчерпали все возможные входные
символы. Такие же рассуждения проделаем с состояниями s
1
, s
2
и s
3
.
Получим окончательный граф автомата (см. рис. 5.18), который бу-
дет полным и симметричным. По графу автомата можно построить
таблицу переходов-выходов (табл. 5.8). Из таблицы видно, что авто-
мат является явно минимальным.
Для содержательного ТЗ мы
построили два формальных описа-
ния будущей СУ: в виде таблицы
истинности трёх логических функ
-
ций от пяти аргументов; в виде ав-
томата Мили с четырьмя состоя-
ниями.
Формальное определение модели. По аналогии с теоретико-
множественным определением автомата можно определить понятие
модели, описывающей определенный физический процесс. Модель
Таблица 5.8
s
0
s
1
s
2
s
3
s
0
s
1
s
2
s
3
x
0
s
0
s
0
s
0
s
0
x
0
y
0
y
0
y
0
y
0
x
1
s
1
s
1
s
1
s
1
x
1
y
1
y
1
y
1
y
1
x
2
s
2
s
2
s
2
s
2
x
2
y
2
y
2
y
2
y
2
x
3
s
3
s
3
s
3
s
3
x
3
y
3
y
3
y
3
y
3
x
4
s
4
s
1
s
2
s
3
x
4
y
4
y
5
y
6
y
7
S
0
S
1
S
2
S
3
x
1
∨x
4
y
1
/y
5
y
1
y
1
x
0
x
2
x
3
y
3
x
0
x
2
y
3
y
3
x
3
∨x
4
y
3
/y
7
x
0
∨x
4
y
0
y
0
/y
4
y
0
y
0
x
0
x
2
y
2
y
2
y
2
/y
6
y
2
x
2
∨x
4
Рис. 5.18
x
1
x
1
x
3
x
3

Страницы