- •Введение
- •Описание автомата по исходным данным
- •Построение графа переходов и первичной таблицы переходов (тп)
- •Объединение строк таблицы переходов
- •Нахождение максимального подмножества совместимых строк (мпсс тп)
- •Составление таблицы включений
- •Решение задачи покрытия
- •Нахождение минимального множества таблицы покрытия
- •Построение минимизированной таблицы переходов
- •Перенумерация строк минимизированной тп
- •Блок – схема синхронного автомата
- •Кодирование строк таблицы переходов
- •Определение необходимого числа элементов памяти
- •Кодированные таблица переходов и таблица выходов
- •Реализация автомата в базисе {и, или, не, Триггер}
- •Карты Карно и минимизированные фал
- •Функциональная схема автомата
- •Список использованной литературы
Объединение строк таблицы переходов
Нахождение максимального подмножества совместимых строк (мпсс тп)
Находятся множества – множества строк, в которых в столбце j проставлено состояние i или знак безразличного состояния (~). Если в столбце есть только одно устойчивое состояние, то множество не составляется. В соответствии с этим правилом выписаны подмножества совместимых по столбцам строк:
; ; ; |
; ; ; ; |
; ; |
|
; ; ; .
|
|
|
|
Находятся множества для всех четверок .
|
|
|
|
|
|
|
|
|
|
|
|
Из полученных множеств исключаются те, которые полностью входят в другое множество. Оставшиеся множества являются максимальными подмножествами совместимых строк, они обозначаются латинскими буквами:
|
|
Составление таблицы включений
Столбцы таблицы соответствуют множествам А,В,…,О, а строки – строкам первичной таблицы переходов. На пересечении строки и столбца ставиться знак «+», если данная строка таблицы переходов входит в данное подмножество совместных строк.
Таблица 2 – Таблица покрытий
S |
|
||||||||||||||
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
|
1 |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
+ |
|
|
|
|
|
+ |
|
|
|
+ |
|
|
4 |
|
|
+ |
+ |
+ |
|
|
+ |
|
|
+ |
|
|
|
|
5 |
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
+ |
+ |
|
|
+ |
|
+ |
|
|
|
7 |
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
8 |
|
|
|
|
|
|
|
+ |
|
+ |
|
|
|
|
|
9 |
|
|
|
+ |
|
+ |
|
|
|
|
|
|
|
|
|
10 |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
11 |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
+ |
12 |
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
+ |
13 |
|
|
|
|
+ |
|
+ |
|
|
|
|
|
|
|
|