--PAGE_BREAK--
Решение:
Обозначим в данной ГСА операционные вершины как Aiвершины (состояние) графа автомата Мура.
Имея графавтомата Мура, объединенная кодированная таблица переходов и выходов цифрового автомата строится за счет нахождения всех существующих путей из каждой вершины графа в ближайшую другую вершину с указанием условий, при которых имеет место данный путь, и вырабатываемых выходных сигналов, которые в автомате Мура однозначно определяются конечным состоянием (конечной вершиной):
Аi{xsss, xpsp...xfsf, уn(АJ),… уm(АJ)} АJ,
где:
- Аi, АJ — соответственно, начальная и конечная вершина пути;
- xsss, xpsp...xfsf— условия, через которые проходит рассматриваемый путьиз Аi в АJ;
- уn(АJ),… уm(АJ) — выходные сигналы автомата, однозначно зависящий от конечного состояния АJ..
Объединенной кодированной таблицы переходов и выходов цифрового автомата составляется на основе всех возможных путей из всех вершин графа
автомата. В таблице приведена объединенной кодированной таблицы переходов и выходов для графа автомата Мура.
Начало
Конец
N
An
Q1Q2Q3Q4
An
Q1Q2Q3Q4
Условие
Выход
qs1 qr1 qs2 qr2 qs3 qr3 qs4 qr4
1
A0
0 0 0 0
A1
0 0 0 1
x5
y5y1
1 1 0 1 1 0
2
A3
0 0 1 1
~x5
y11y41y96
0 1 1 1 0 1 0
3
A1
0 0 0 1
A2
0 0 1 0
1
y17
0 1 0 1 1 0 0 1
4
A2
0 0 1 0
A6
0 1 1 0
x3
y1
1 1 0 1 0 0 1
5
A5
0 1 0 1
~x3
y22
0 1 1 0 1 1 0
6
A3
0 0 1 1
A5
0 1 0 1
x11
y22
0 1 1 0 1 1 0
7
A4
0 1 0 0
~x11
yn
0 1 1 0 1 0 1
8
A4
0 1 0 0
A5
0 1 0 1
x4
y22
0 1 1 0 0 1 1 0
9
A5
0 1 0 1
A7
0 1 1 1
~x9
yn
0 1 1 0 1 0 1 0
10
0 1 0 1
A1
0 0 0 1
X9 x10
Y5 y1
0 1 0 1 0 1 1 0
11
A8
1 0 0 0
X9 ~x10
Y4
1 0 0 1 0 1 0 1
12
A6
0 1 1 0
A7
0 1 1 1
~x9
yn
0 1 1 0 1 0 1 0
13
A8
1 0 0 0
X9 ~x10
Y4
1 0 0 1 0 1 0 1
14
A7
0 1 1 1
A5
0 1 0 1
1
Y22
0 1 1 0 0 1 1 0
15
A8
1 0 0 0
A9
1 0 0 1
1
Y13 y18 yk
1 0 0 1 0 1 1 0
__ __ __
y5=
Q1Q2Q3Q4
__ __ __
__ __
Y1=
Q1Q2Q3Q4
+Q1Q2Q3Q4
__ __
y11=
Q1Q2Q3Q4
__ __
y41=
Q1Q2Q3Q4
__ __
y96=
Q1Q2Q3Q4
__ __ __
y17=
Q1Q2Q3Q4
__ __
y22=
Q1Q2Q3Q4
__ ____
y4=
Q1Q2Q3Q4
__ __
y13=
Q1Q2Q3Q4
__ __
y18=
Q1Q2Q3Q4
__ __
yk=
Q1Q2Q3Q4
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
qr1= Q1Q2Q3Q4x5+ Q1Q2Q3Q4x5+ Q1Q2Q3Q4+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x11+
_ _ _ _ _ _ _ _ _ _ _
Q1Q2Q3Q4x11+ Q1Q2Q3Q4x9+ Q1Q2Q3Q4x9x10+ Q1Q2Q3Q4x9+ Q1Q2Q3Q4(1,2,3,4,5,6,7,8,9,10,12,14)
_ _ _ _ _ _
qs1= Q1Q2Q3Q4x9x10+ Q1Q2Q3Q4(11,13,15)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _
qs2 = Q1Q2Q3Q4x3+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x11+ Q1Q2Q3Q4x11+ Q1Q2Q3Q4x9+ Q1Q2Q3Q4 (4,5,6,7,8,9,12,14)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
qr2 = Q1Q2Q3Q4x5+ Q1Q2Q3Q4x5+ Q1Q2Q3Q4+ Q1Q2Q3Q4x9x10+ Q1Q2Q3Q4x9x10+ Q1Q2Q3Q4 (1,2,3,10,11,13,15)
_ _ _ _ _ _ _ _ _ _
qs3 = Q1Q2Q3Q4x5+ Q1Q2Q3Q4+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x9(2,3,5,9,12)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
qr3= Q1Q2Q3Q4x5+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x11+ Q1Q2Q3Q4x11+ Q1Q2Q3Q4x9x10+ Q1Q2Q3Q4x9x10+
_ _ _ _
Q1Q2Q3Q4+ Q1Q2Q3Q4(1,4,6,7,8,10,11,13,14,15)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
qs4= Q1Q2Q3Q4x5+ Q1Q2Q3Q4x5+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x11+ Q1Q2Q3Q4x9+ Q1Q2Q3Q4x9x10+
_ _ _ _
Q1Q2Q3Q4+ Q1Q2Q3Q4(1,2,4,7,8,9,10,12,14,15)
_ _ _ _ _ _ _ _ _ _ _ _ _
qr4= Q1Q2Q3Q4+ Q1Q2Q3Q4x3+ Q1Q2Q3Q4x11+ Q1Q2Q3Q4x9x10(3,5,6,11,13)
Схемаавтомата:
В Вашей схеме выходные сигналы зависят от входных, что не соответствует Вашему типу цифрового автомата продолжение
--PAGE_BREAK--