logo
Абстрактный синтез конечного автомата

2.1 Кодирование состояний, входных и выходных сигналов

Для кодирования состояний, входных и выходных сигналов конечного автомата, необходимо вычислить число элементов памяти:

а) рассчитаем число элементов памяти: Н = ] log2h [, где h - число состояний после минимизации D = {}

H = ] log2 12 [ = 4

б) рассчитаем число входных (L) и выходных (М) шин:
L = ] log2n[

М =] log2m [,

где n, m - число букв входного и выходного алфавитов

Z = {0, 1} L = ] log2 2 [ = 1

W = {0, 1} M = ] log2 2 [ = 1

Из приведённого выше следует, что для кодирования состояний необходимо 4 элемента памяти, обозначим их Q0, …, Q3. Закодируем состояния (таблица 5) случайными кодами.

Таблица 5. Таблица кодированных состояний

d(t-1)

Q0

Q1

Q2

Q3

d0

0

0

0

0

d1

0

0

0

1

d2

0

0

1

0

d3

0

0

1

1

d4

0

1

0

0

d5

0

1

0

1

d6

0

1

1

0

d7

0

1

1

1

d8

1

0

0

0

d9

1

0

0

1

d10

1

0

1

0

d11

1

0

1

1