3. Синтез асинхронного автомата

   1. Примитивная таблица переходов и выходов

Модель Хаффмана

Эта модель строиться на основании трех положений:

1. Комбинационная логика свободна от помех;

2. Значение переменных двух последовательных входных набора долж-ны только различаться в одной переменной (только соседние наборы);

3. Переход из одного устойчивого состояния в другой осуществляется через неустойчивые за конечное время.

Для описания алгоритма работы автомата используется примитивная таблица переходов и выходов (ПТПиВ).

ПТПиВ содержит столько строк сколько возможных комбинаций входных сигналов.

В каждом столбце ПТПиВ должно быть только одно устойчивое состояние, то которое соответствует рассматриваемому состоянию.

Недостатком ПТПиВ является большое число состояний, избыточность, потребность в минимизации. ПТПиВ строится для частичного автомата.

Примитивная таблица переходов и выходов.

Примитивной называется таблица переходов и выходов, в которой в каждом столбце S_i имеется только одно устойчивое состояние S_i. В этой таблице используются только непосредственные переходы из неустойчивого состояния в устойчивое, т.е. длина цепочки перехода равна единице. Примитивная таблица используется при начальном описании алгоритма работы автомата.

Для заданного секретного замка ПТПиВ изображена на рисунке

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