|
Задание 15. Решение Нахождение всех максимальных независимых множеств будем осуществлять последовательным перебором независимых множеств с одновременной проверкой каждого множества на максимальность (путем добавления к исследуемому множеству дополнительной,
Анализируя данную таблицу, можно увидеть, что можно исключить автомат на одном элементе памяти и провести минимизацию:
№ п/п
|
Исходное состояние
|
Код исход.
состояния
|
Состояние перехода
|
Код сост.
перехода
|
Входной сигнал
|
Выходной сигнал
|
Функция возбуждения
|
am
|
K(am)
|
as
|
K(as)
|
X(am,as)
|
Y(am,as)
|
F(am,as)
|
|
|
t
|
|
t
|
х1х2
|
y1y2
|
J1K1J2K2
|
1
|
а1
|
0
|
а1
|
0
|
z1
|
w2
|
|
2
|
а1
|
0
|
a2
|
1
|
z2
|
w3
|
J
|
3
|
а1
|
0
|
а1
|
0
|
z3
|
w2
|
|
4
|
а1
|
0
|
а1
|
0
|
z1
|
w5
|
|
5
|
а1
|
0
|
а1
|
0
|
z3
|
w3
|
|
6
|
а1
|
0
|
a1
|
0
|
z5
|
w4
|
|
7
|
а1
|
0
|
а2
|
1
|
z2
|
w1
|
J
|
8
|
а1
|
0
|
а2
|
1
|
z4
|
w2
|
J
|
9
|
а1
|
0
|
а2
|
1
|
z4
|
w4
|
J
|
10
|
а1
|
0
|
a2
|
1
|
z5
|
w3
|
J
|
11
|
а2
|
1
|
а1
|
0
|
z3
|
w4
|
K
|
12
|
а2
|
1
|
a2
|
1
|
z4
|
w3
|
|
13
|
a2
|
1
|
а1
|
0
|
z1
|
w3
|
K
|
14
|
а2
|
1
|
а1
|
0
|
z2
|
w4
|
K
|
15
|
а2
|
1
|
a2
|
1
|
z5
|
w2
|
|
В Результате структурная схема автомата будет иметь вид, представленный на рисунке:
Закодируем входной, выходной сигнал и алфавит состояний:
Z\X
|
x1
|
x2
|
|
W\Y
|
y1
|
y2
|
|
A\T
|
t
|
z1
|
0
|
0
|
|
w1
|
0
|
0
|
|
a1
|
0
|
z2
|
0
|
0
|
|
w2
|
0
|
0
|
|
a2
|
1
|
z3
|
0
|
1
|
|
w3
|
0
|
1
|
|
|
|
z4
|
0
|
1
|
|
w4
|
0
|
1
|
|
|
|
z5
|
1
|
0
|
|
w5
|
1
|
0
|
|
|
|
Подставим закодированные значения в минимизированную таблицу:
№ п/п
|
Исходное состояние
|
Код исход.
состояния
|
Состояние перехода
|
Код сост.
перехода
|
Входной сигнал
|
Выходной сигнал
|
Функция возбуждения
|
am
|
K(am)
|
as
|
K(as)
|
X(am,as)
|
Y(am,as)
|
F(am,as)
|
|
|
t
|
|
t
|
х1х2
|
y1y2
|
J1K1J2K2
|
1
|
а1
|
0
|
а1
|
0
|
00
|
00
|
|
2
|
а1
|
0
|
a2
|
1
|
00
|
01
|
J
|
3
|
а1
|
0
|
а1
|
0
|
01
|
00
|
|
4
|
а1
|
0
|
а1
|
0
|
00
|
10
|
|
5
|
а1
|
0
|
а1
|
0
|
01
|
01
|
|
6
|
а1
|
0
|
a1
|
0
|
10
|
01
|
|
7
|
а1
|
0
|
а2
|
1
|
00
|
00
|
J
|
8
|
а1
|
0
|
а2
|
1
|
01
|
00
|
J
|
9
|
а1
|
0
|
а2
|
1
|
01
|
01
|
J
|
10
|
а1
|
0
|
a2
|
1
|
10
|
01
|
J
|
11
|
а2
|
1
|
а1
|
0
|
01
|
01
|
K
|
12
|
а2
|
1
|
a2
|
1
|
01
|
01
|
|
13
|
a2
|
1
|
а1
|
0
|
00
|
01
|
K
|
14
|
а2
|
1
|
а1
|
0
|
00
|
01
|
K
|
15
|
а2
|
1
|
a2
|
1
|
10
|
00
|
|
По полученной таблице составим систему булевых функций, представляющих сигналы возбуждения JK-триггеров и выходной сигнал для автомата. При составлении переменная с нижним подчёркиванием обозначает доопределённую переменную. В результате получим систему булевых функций, представляющих сигналы возбуждения JK-триггеров и выходной сигнал для автомата.
Упростим полученную систему булевых функций:
Ответ: 
  |
|
|
Скачать 334.5 Kb.