Синтез асинхронных конечных автоматов, страница 9

n

x₁

x₂

y₁(t-1)

y₂(t-1)

y₃(t-1)

y₁(t)

y₂(t)

y₃(t)

Ys1

Yr1

Ys2

Yr2

Ys3

Yr3

Z1

Z2

1

0

0

0

0

0

0

0

0

0

~

0

~

0

~

0

1

2

0

0

0

0

1

0

0

0

0

~

0

~

0

1

0

1

3

0

0

0

1

1

0

0

0

0

~

0

1

0

1

0

1

4

0

0

1

0

0

1

0

1

~

0

0

~

1

0

1

0

5

0

0

1

0

1

1

0

1

~

0

0

~

~

0

1

0

6

0

0

0

1

0

~

~

~

~

~

~

~

~

~

~

~

7

0

0

1

1

1

~

~

~

~

~

~

~

~

~

~

~

8

0

0

1

1

0

~

~

~

~

~

~

~

~

~

~

~

9

0

1

0

0

0

0

0

1

0

~

0

~

1

0

0

1

10

0

1

0

0

1

0

0

1

0

~

0

~

~

0

0

1

11

0

1

0

1

1

0

1

1

0

~

~

0

~

0

1

0

12

0

1

1

0

0

~

~

~

~

~

~

~

~

~

~

~

13

0

1

1

0

1

~

~

~

~

~

~

~

~

~

~

~

14

0

1

0

1

0

~

~

~

~

~

~

~

~

~

~

~

15

0

1

1

1

1

~

~

~

~

~

~

~

~

~

~

~

16

0

1

1

1

0

~

~

~

~

~

~

~

~

~

~

~

17

1

0

0

0

0

0

1

1

0

~

1

0

1

0

0

1

18

1

0

0

0

1

0

0

1

0

~

0

~

~

0

0

1

19

1

0

0

1

1

0

1

1

0

~

~

0

~

0

0

1

20

1

0

1

0

0

~

~

~

~

~

~

~

~

~

~

~

21

1

0

1

0

1

~

~

~

~

~

~

~

~

~

~

~

22

1

0

0

1

0

~

~

~

~

~

~

~

~

~

~

~

23

1

0

1

1

1

~

~

~

~

~

~

~

~

~

~

~

24

1

0

1

1

0

~

~

~

~

~

~

~

~

~

~

~

25

1

1

0

0

0

1

0

0

1

0

0

~

0

~

1

0

26

1

1

0

0

1

0

0

1

0

~

0

~

~

0

0

1

27

1

1

0

1

1

0

1

1

0

~

~

0

~

0

1

1

28

1

1

1

0

0

1

0

0

~

0

0

~

0

~

1

0

29

1

1

1

0

1

0

0

1

0

1

0

~

~

0

0

1

30

1

1

0

1

0

~

~

~

~

~

~

~

~

~

~

~

31

1

1

1

1

1

~

~

~

~

~

~

~

~

~

~

~

32

1

1

1

1

0

~

~

~

~

~

~

~

~

~

~

~