- •С анкт-петербургский государственный электротехнический университет "лэти" имени в.И. Ульянова (ленина)
- •1 97376, Санкт-Петербург, ул. Проф. Попова, 5.
- •Вариант 8
- •2 Абстрактный синтез автомата
- •2.1 Граф автомата мура
- •2.2 Проверка автомата мура
- •2.3 Переход к автомату мили
- •2.4 Учет взаимодействия управляющего и операционного автоматов
- •2.5 Минимизация частичного автомата мили
- •3 Структурный синтез автомата
- •3.1 Кодирование состояний автомата
- •3.1.1 Кодированная таблица переходов и выходов (тпв)
- •3.1.2 Таблица функций возбуждения и выходов
- •3.1.5 Оценка сложности комбинационной схемы
- •3.2 Кодирование состояний автомата, направленное на упрощение комбинационной схемы
- •3.2.1 Кодированная таблица переходов и выходов
- •3.2.2 Таблица функций возбуждения и выходов
- •3.2.4 Проверка результата минимизации
- •3.2.5 Оценка сложности комбинационной схемы для второго варианта кодирования
- •3.3 Выбор варианта системы булевых функций для реализации
- •3.4 Синтез синхронизируемого двухступенчатого триггера
- •3.5 Функциональная схема и временная диаграмма двухступенчатого триггера
- •3.7 Расчет параметров сигнала синхронизации
- •3.8 Временная диаграмма автомата
- •3.9 Функциональные схемы на пзу и плм
- •3.10 Сравнительная оценка вариантов реализации автоматов
3.2.4 Проверка результата минимизации
S(t) |
P(t) |
Fi |
S(t+1) |
W |
||||||||||||||||
q1 |
q2 |
q3 |
x1 |
x2 |
x3 |
P |
J1 |
K1 |
J2 |
K2 |
J3 |
K3 |
q1 |
q2 |
q3 |
y0 |
y1 |
y2 |
y3 |
W |
1 |
1 |
0 |
1 |
0 |
1 |
p5 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
1 |
1 |
1 |
p7 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
1 |
0 |
1 |
p5 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
1 |
z |
1 |
p5,p7 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
1 |
z |
0 |
p4,p6 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
w3 |
1 |
0 |
0 |
0 |
z |
1 |
p0,p2 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
w1 |
0 |
1 |
0 |
0 |
0 |
0 |
p0,p2 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
0 |
p0,p2 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
0 |
1 |
1 |
p3 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
w4 |
0 |
1 |
0 |
0 |
1 |
1 |
p3 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
0 |
0 |
1 |
p1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
1 |
p1,p3 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
0 |
1 |
0 |
p2 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
w4 |
0 |
1 |
0 |
0 |
1 |
0 |
p2 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
0 |
0 |
0 |
0 |
p0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
0 |
p0,p2 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
0 |
1 |
1 |
p3 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
w4 |
0 |
1 |
0 |
0 |
0 |
1 |
p1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
w2 |
0 |
1 |
1 |
0 |
z |
1 |
p1,p3 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
0 |
0 |
0 |
p0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
w1 |
0 |
0 |
0 |
0 |
0 |
0 |
p0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
w3 |
0 |
1 |
1 |
0 |
0 |
0 |
p0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
0 |
0 |
1 |
p1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
w1 |
0 |
0 |
0 |
0 |
0 |
1 |
p1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
w3 |
0 |
1 |
1 |
0 |
0 |
1 |
p1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
w0 |
1 |
1 |
0 |
0 |
0 |
0 |
p0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
w1 |
Таблица 3.15
Выходное слово совпадает со словом, введенным в тесте.