2.2.2. Таблиця переходів автомата

Для кожного стану ai визначаю по ГСА всі шляхи, які ведуть в інші стани.

Я буду будувати зворотну таблицю переходів для автомата Мура, тому що я синтезую автомат на базі D-тригера.

Табл.3. Таблиця переходів D-тригера

Am

as(Y)

Kas

Xamas

D1

D2

D3

D4

D5

a23

a24

a1(-)

00010

1

X2

D4

D4 U a12

a11

a2(Y1,Y2)

00100 1
1 D3 D3

a1

a3(Y1,Y4)

11000

1

D1

D2

a2

a4(Y3)

00111

X4

D3

D4

D5

A

a3

a5(Y7)

01011

X3

D2

D4

D5

B

a2

a6(Y4,Y5)

10011

X4X2

D1

D4

D5

C

a3

a4

a7(Y2,Y6)

01000 X3

1

D2

D2 a2 a5 a6

a7

a8(Y1,Y8)

00000

X4X2X1

X1 1 1 a2

a5

a9(Y5,Y9)

10000

X4X2X1

X1

D1

D1

V

W

a8

a10(Y4)

01110

X4

D2

D3

D4

D

a10

a11(Y4,Y5)

10110

1

D1

D3

D4

a8

a9

a12(Y3,Y10)

00011

X4X3

X4X3

D4

D4

D5

D5

E

F a8 a9

a9

a13(Y6)

00001

X4X3

X4X3 X4X1 D5 D5

D5

X

a9

a13

a14(Y2,Y4)

00101

X4X1

1

D3

D3

D5

D5

G

a24

a25

a15(Y3,Y6)

01001

X2

1

D2

D2

D5

D5

H

a14

a15

a16(Y7)

10001

1

X5

D1

D1

D5

D5 I

a16

a17(Y1,Y9)

11100

X1

D1

D2

D3

J

a15

a16

a18(Y8)

00100

X5X6

X1

D3

D3

D4

D4

K

L

a15

a19(Y3)

10101

X5X6

D1

D3

D5

M

a17

a18

a20(Y2,Y4)

01010

1

X2

D2

D2

D4

D4 N a18

a19

a21(Y3,Y6)

10010

X2

1

D1

D1

D4

D4

O

a20

a21

a22(Y7)

01100

1

X5

D2

D2

D3

D3 P

a22

a23(Y1,Y9)

01101

X1

D2

D3

D5

Q

a21

a22

a24(Y8)

10100

X5X6

X1D1

D1

D3

D3

R

S

a21

a25(Y3)

11001

X5X6

D1

D2

D5

T

2.2.3. Кодування станів

Кодування станів буде проводитися за таким алгоритмом:

1.   Кожному стану автомата аm (m = 1,2,...,M) ставиться у відповідність ціле число Nm, рівне числу переходів у стан аm (Nm дорівнює числу появ аm у поле таблиці ).

2.   Числа N1, N2, ..., Nm упорядковуються по убуванні.

3.   Стан аs з найбільшим Ns кодується кодом: , де R-кількість елементів пам'яті.

4.   Наступні R станів згідно списку пункту 2 кодуються кодами, що містять тільки одну 1:00 ... 01, 00 ... 10, ... , 01 ... 00, 10 ... 00.

5.   Для станів, що залишилися, знову в порядку списку п.2. використовують коди з двома одиницями, потім із трьома і так далі поки не будуть закодовані вес стани.

У результаті виходить таке кодування, при якому чим більше мається переходів у деякий стан, тим менше одиниць у його коді. Вираження для функцій збудження будуть простіше для D-тригерів, тому що функції порушення однозначно визначаються кодом стану переходу.

Результати кодування за цим алгоритмом заношу до таблиці 3.


Информация о работе «Прикладна теорія цифрових автоматів»
Раздел: Информатика, программирование
Количество знаков с пробелами: 10828
Количество таблиц: 9
Количество изображений: 6

Похожие работы

Скачать
28503
20
4

... определенным называется абстрактный цифровой автомат, у которого функция переходов или функция выходов, или обе эти функции определены для всех пар переходов (xi,aj). Частичным называется абстрактный цифровой автомат, у которого функция переходов или функция выходов, или обе эти функции определены не для всех пар переходов (xi,aj). Абстрактный цифровой автомат называется инициальным, если на ...

Скачать
39975
7
1

... булевої алгебри. Аналітичний спосіб задання булевих функцій займає особливе місце в проектуванні цифрових машин. Фактично, всі перетворення над булевими ф-ціями, необхідні для побудови цифрових машин, ведуться на аналітичному рівні. Розглянемо області визначення булевоі ф-ції. Як уже відмічалось, між двійковими наборами і двійковими числами існує взаємнооднозначна відповідність. Отже, існує 2n рі ...

Скачать
26838
19
22

... y35 RS1:=Z1 y11 36 RS1 := RS2 + RS1 RS1 y26 RS2 y30 RS1+RS2 y40 RS1:=Z2 y10 Рис. 1.7 – Структурна граф-схема операційного автомата 2. СИНТЕЗ КЕРУЮЧИХ АВТОМАТІВ З ЖОРСТКОЮ ЛОГІКОЮ На практиці використовуються дві моделі МПА - автомат Милі й автомат Мура, розходження між якими полягає у функції ...

Скачать
16329
4
3

. 2002 Керівник: Ніколенко А.О. Прийняв до виконання: Ткаченко І.О. Зміст Завдання на розробку Зміст Синтез комбінаційної схеми Розрахування значень Мінімізація БФ Комбінаційна схема Проектування автоматів Вибір завдання Автомат Мура Автомат Мілі Заключення Перелік літератури 1 Синтез комбінаційної схеми   1.1 Визначення значень БФ Булева функція 5 змінних ...

0 комментариев


Наверх