- •Пояснительная записка к курсовому проекту
- •Введение
- •Автомат
- •Постановка задачи
- •Синтез синхронного автомата
- •Составим систему уравнений:
- •Функциональная схема и расчет ее характеристик
- •Логическое моделирование схемы на наборах функционального теста
- •Синтез асинхронного автомата
- •Примитивная таблица переходов и выходов
- •Минимизация числа состояний
- •Соседнее кодирование
- •Функциональная схема и расчёт её характеристик
- •Заключение
- •Библиографический список
Синтез асинхронного автомата
Примитивная таблица переходов и выходов
Модель Хаффмана
Эта модель строиться на основании трех положений:
Комбинационная логика свободна от помех;
Значение переменных двух последовательных входных набора долж-ны только различаться в одной переменной (только соседние наборы);
Переход из одного устойчивого состояния в другой осуществляется через неустойчивые за конечное время.
Для описания алгоритма работы автомата используется примитивная таблица переходов и выходов (ПТПиВ).
ПТПиВ содержит столько строк сколько возможных комбинаций входных сигналов.
В каждом столбце ПТПиВ должно быть только одно устойчивое состояние, то которое соответствует рассматриваемому состоянию.
Недостатком ПТПиВ является большое число состояний, избыточность, потребность в минимизации. ПТПиВ строится для частичного автомата.
Примитивная таблица переходов и выходов.
Примитивной называется таблица переходов и выходов, в которой в каждом столбце Si имеется только одно устойчивое состояние Si. В этой таблице используются только непосредственные переходы из неустойчивого состояния в устойчивое, т.е. длина цепочки перехода равна единице. Примитивная таблица используется при начальном описании алгоритма работы автомата.
Для заданного секретного замка ПТПиВ изображена на рисунке
|
|
|
S0 |
S1 |
S2 |
S3 |
S4 |
S5 |
S6 |
S7 |
S8 |
S9 |
S10 |
S11 |
S12 |
S13 |
|
|
|
|
S0 |
S8 |
X |
S0 |
S8 |
X |
S0 |
S8 |
S8 |
X |
X |
S8 |
X |
X |
|
|
|
|
S4 |
X |
X |
X |
S4 |
S6 |
S6 |
X |
S4 |
S4 |
X |
X |
S4 |
X |
|
|
|
|
X |
X |
X |
X |
S12 |
X |
S12 |
S12 |
X |
X |
S12 |
X |
S12 |
X |
|
|
|
|
S7 |
X |
S3 |
S3 |
X |
X |
X |
S7 |
S7 |
X |
X |
X |
S7 |
S7 |
|
|
|
|
X |
S2 |
S2 |
X |
X |
X |
X |
S13 |
X |
X |
S13 |
S13 |
S |
S13 |
|
|
|
|
X |
X |
S10 |
X |
X |
S10 |
X |
X |
X |
S10 |
S10 |
X |
S10 |
S10 |
|
|
|
|
X |
S9 |
X |
X |
S5 |
S5 |
S5 |
X |
X |
S9 |
S9 |
S9 |
X |
X |
|
|
|
|
S1 |
S1 |
S1 |
X |
X |
S11 |
X |
X |
S11 |
S11 |
X |
S11 |
X |
S11 |
|
|
|
|
00 |
00 |
00 |
10 |
01 |
01 |
01 |
01 |
01 |
01 |
01 |
01 |
01 |
01 |