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

F5 = {a5}  F6 = {a6}  F7 = {a11}  F8 = {a12}  F9 = {a23}  F10 = {a24}

F1

F2

a1

a4

a7

a8

a9

a10

a13

a14

a15

a16

a17

a18

a19

a20

a21

a22

Z1

f4

f2

f2

f2

f2

f2

f2

f2

f2

f1

f1

f1

f1

f1

f1

f1

Z2

f3

f2

f2

f2

f2

f2

f2

f2

f2

f1

f1

f1

f1

f1

f1

f1

F2

F3

F4

F5

F6

F7

F8

F9

F10

a25

a26

a27

a28

a29

a30

a31

a2

a3

a5

a6

a11

a12

a23

a24

Z1

f1

f1

f1

f1

f1

f1

f1

f5

f2

f7

f2

f9

f2

f2

f2

Z2

f1

f1

f1

f1

f1

f1

f1

f2

f6

f2

f8

f2

f10

f2

f2

K1 = {a1}  K2 = {a4; a7...a10; a13...a15;}  K3 = {a16...a22; 25...31}           K4 = {a2}  K5 = {a3}  K6 = {a5}  K7 = {a6}  K8 =  {a11}  K9 = {a12}        K10 = {a23}  K11= {a24}          

K1

K2

K3

a1

a4

a7

a8

a9

a10

a13

a14

a15

a16

a17

a18

a19

a20

a21

a22

Z1

k5

k2

k2

k3

k3

k3

k3

k3

k3

k1

k1

k1

k1

k1

k1

k1

Z2

k4

k2

k2

k3

k3

k3

k3

k3

k3

k1

k1

k1

k1

k1

k1

k1

K3

K4

K5

K6

K7

K8

K9

K1

K1

a25

a26

a27

a28

a29

a30

a31

a2

a3

a5

a6

a11

a12

a23

a24

Z1

k1

k1

k1

k1

k1

k1

k1

k6

k2

k8

k2

k10

k3

k1

k1

Z2

k1

k1

k1

k1

k1

k1

k1

k2

k7

k2

k9

k3

k11

k1

k1

M1 = {a1} M2 = {a4; a7}  M3 = {a8...a15}  M4 = {a16...a22}  M5 = {a2}

M6 = {a3}  M7 = {a5}  M8 = {a6}  M9 = {a11}  M10 = {a12} M11 = {a23}

M12 = {a24}

M1

M2

M3

M4

a1

a4

a7

a8

a9

a10

a13

a14

a15

a16

a17

a18

a19

a20

a21

a22

Z1

m6

m3

m3

m4

m4

m4

m4

m4

m4

m1

m1

m1

m1

m1

m1

m1

Z2

m5

m3

m3

m4

m4

m4

m4

m4

m4

m1

m1

m1

m1

m1

m1

m1

M4

M5

M6

M7

M8

M9

M1

M1

M1

a25

a26

a27

a28

a29

a30

a31

a2

a3

a5

a6

a11

a12

a23

a24

Z1

m1

m1

m1

m1

m1

m1

m1

m7

m2

m9

m3

m11

m4

m1

m1

Z2

m1

m1

m1

m1

m1

m1

m1

m2

m8

m3

m10

m4

m12

m1

m1