Информатика и выч. техника \ Теория автоматов

Цифровые автоматы. Синтез автомата для преобразования двоично-десятичного кода с весами 5.2.2.1 в двоично-десятичный код с весами 6.3.2.1, страница 2

2.1.2 Выполнение первого этапа абстрактного синтеза по таблице соответствий с использованием информативно-нагруженного дерева.

На рисунке 1 представленно информативно-нагруженное дерево автомата.

Рис.1

Граф автомата Мура для данного дерева представлен на рисунке 2.

Рис.2

Граф автомата Мили для данного дерева представлен на рисунке 3.


Рис.3

Таблица переходов для автомата Мура:

Z(t)

c

c

W0

W0

W0

W0

W0

W1

W0

W1

W0

W1

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

Z0

a2

a3

a4

a5

a6

a1

a8

a1

a10

a11

a1

a13

Z1

a20

a14

a9

a7

a6

a1

a8

a1

a12

a11

a1

a13

Z(t)

W1

W0

W1

W0

W1

W1

W0

c

W1

W0

W1

W0

a13

a14

a15

a16

a17

a18

a19

a20

a21

a22

a23

a24

Z0

a1

-

a16

a17

a1

a19

a1

a21

a27

a25

a24

a1

Z1

a1

a15

a18

a17

a1

a19

a1

a30

a22

a23

a24

a1

Z(t)

W0

W1

W0

W0

W0

W1

W1

W0

W0

a25

a26

a27

a28

a29

a30

a31

a32

a33

Z0

a26

a1

-

a29

a1

-

a32

a33

a1

Z1

a26

a1

a28

a29

a1

a31

-

a33

a1

Таблица переходов для автомата Мили:

A(t)

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

Z(t)

Z0

a2

a3

a4

a5

a1

a1

a8

a1

a1

-

a12

a1

c

W0

W0

W0

W0

W1

W1

W0

W1

-

W0

W1

Z1

a14

a10

a7

a6

a1

a1

a9

a1

a1

a11

a13

a1

c

W0

W0

W0

W0

W1

W1

W0

W1

W1

W1

W1
Скачать файл