Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекции по теории автоматов - 1.pdf
Скачиваний:
59
Добавлен:
02.06.2015
Размер:
475.61 Кб
Скачать

Соседнее кодирование состояний автомата

1.В графе автомата не должно быть циклов с нечётным числомвершин.

1

2 3

Соседнеекодирование состояний автомата

2.Два соседних состояния второго порядка не должны иметь более двухсостояний, лежащих междуними.

1

2

3

5

4

Соседнеекодирование состояний автомата

Наиболеепросто определитьсоседей,как первого, так и второго рода, используя обратную таблицу переходов.

 

a1

a2

а3

a4

a5

a6

 

 

 

 

 

 

 

Z1

a2

a1

--

a3

--

a5

 

a6

a4

 

 

 

 

 

 

 

 

 

 

 

Z2

-

-

а1

--

a2 a5

--

 

 

 

а3

 

a6

 

 

 

 

a4

 

 

 

 

 

 

 

 

 

 

Соседнеекодирование состояний автомата

ДиаграммыВейча–Карно

 

0

0

1

1

 

0

1

1

0

 

 

 

 

 

0

а1

а4

а2

а6

 

 

 

 

 

1

а3

-

-

а5

 

 

 

 

 

Кодированиесостояний автомата для минимизации комбинационной схемы.

Кодированиесостояний автомата для минимизации комбинационной схемы

а1 а2 а3

z1 а2

-

а1

z2 а3 а1 -

D-триггер

0 1

0 0 0

1 1 1

z3 а2 а3 а3

Кодированиесостояний автомата для минимизации комбинационной схемы

Закодируем состояния

 

 

 

 

а1=>00, а2=>01, а3=>11.

 

 

 

 

 

01

01

11

z1=>00, z2=>01, z3=>10.

 

 

 

 

00

01

-

00

 

 

 

 

 

 

 

01

11

00

-

 

 

 

 

 

 

10

01

11

11

 

 

 

 

 

α1 =1 6 14

α2 = 0 1 2 6 14

Кодированиесостояний автомата для минимизации комбинационной схемы

а1=>01, а2=>10, а3=>00

01 10 00

00 10 - 01

01 00 01 -

10 10 00 00

α1 =1 6 14

α2 = 0 1 2 6 14