Структурный синтез абстрактного автомата, страница 2

Минимзацию комбинационной схемы  осуществим с помощью карт карно.

Порезультатам карт Карно строится функциональная схема. 

Разработка древовидного графоавтомата:

Таблица  переходов             

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12      

a13

14

a15

a16

Z1

a3

a5

a7

a9

a11

a13

a15

a17

a19

a21

a23

a25

a27

a29

a31

a1

Z2

a2

a4

a6

a8

a10

a12

a14

a16

a18

a20

a22

a24

a26

a28

a30

a17

a18

a19

a20

a21

a22

a23

a24

a25

a26

a27

a28

a29

a30

a31

Z1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

Z2

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

a1

Таблица  выходов

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

a13

a14

a15

a16

Z1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

Z2

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

w1

a17

a18

a19

a20

a21

a22

a23

a24

a25

a26

a27

a28

a29

a30

a31

Z1

w1

w1

w1

w1

w1

w1

w2

w1

w1

w1

w1

w1

w1

w1

w1

Z2

w1

w1

w1

w1

w1

w1

w2

w2

w1

w1

w1

w1

w1

w1

w1

B1 = {a1...a22; a25...a31}   B2 = {a23}  B3 = {a24}

B1

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

a13

a14

a15

a16

Z1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b2

b1

b1

b1

b1

Z2

b1

b1

b1

1b

b1

b1

b1

b1

b1

b1

b1

b3

b1

b1

b1

b1

B1

B2

B3

a17

a18

a19

a20

a21

a22

a25

a26

a27

a28

a29

a30

a31

a23

a24

Z1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

Z2

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

b1

C1 = {a1...a10; a13...a22; a25...a31}  C2 = {a11}  C3 = {a12}  C4 = {a23}

C5 = {a24}