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

C1

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a13

a14

a15

a16

a17

a18

Z1

c1

c1

c1

c1

c2

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

Z2

c1

c1

c1

c1

c1

c3

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

C1

C2

C3

C4

C5

a19

a20

a21

a22

a25

a26

a27

a28

a29

a30

a31

a11

a12

a23

a24

Z1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c4

c1

c1

c1

Z2

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c1

c5

c1

c1

hj

D1= {a1...a4; a7..a10; a13...a22; 25...a31}  D2 = {a5}  D3 = {a6} D4 = {a11}

D5 = {a12}  D6 = {a23}  D7 = {a24

D1

a1

a2

a3

a4

a7

a8

a9

a10

a13

a14

a15

a16

a17

a18

a19

a20

Z1

d1

d2

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

Z2

d1

d1

d3

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

D1

D2

D3

D4

D5

D6

D7

a21

a22

a25

a26

a27

a28

a29

a30

a31

a5

a6

a11

a12

a23

a24

Z1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d4

d1

d6

d1

d1

d1

Z2

d1

d1

d1

d1

d1

d1

d1

d1

d1

d1

d5

d1

d7

d1

d1

E1 = {a1;a4;a7...a10;a13...a22;a25...a31}  E2 = {a2}  E3 = {a3}  E4 = {a5} 

E5 = {a5}  E6 = {a11}  E7 = {a12}  E8 = {a23}  E9 = {a24}

E1

a1

a4

a7

a8

a9

a10

a13

a14

a15

a16

a17

a18

a19

a20

a21

a22

Z1

e3

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

Z2

e2

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

e1

E1

E2

E3

E4

E5

E6

E7

E8

E9

a25

a26

a27

a28

a29

a30

a31

a2

a3

a5

a6

a11

a12

a23

a27

Z1

e1

e1

e1

e1

e1

e1

e1

e4

e1

e6

e1

e8

e1

e1

e1

Z2

e1

1e

e1

e1

e1

1e

1e

e1

e5

e1

e7

e1

e9

e1

e1

F1 = {a1}  F2 = {a4; a7..a10; a13...a22; a25...a31}  F3 = {a2}  F4 = {a3}