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

x2

Ys1

x1

0

~

~

0

1

~

~

0

0

~

~

0

0

0

~

0

y3

y2

0

~

~

0

0

~

~

0

~

~

~

~

~

~

~

~

y1

y1

x2

Yr1

x1

~

0

~

~

0

0

~

~

~

0

~

~

~

1

~

~

y3

y2

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

y1

y1

x2

Ys2

x1

0

0

~

0

0

0

~

1

0

0

~

0

0

0

~

0

y3

y2

0

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

y1

y1

x2

Yr2

x1

~

~

~

~

~

~

~

0

~

~

~

~

~

~

~

~

y3

y2

1

~

~

0

0

~

~

0

~

~

~

~

~

~

~

~

y1

y1

x2

Ys3

x1

0

1

~

1

0

0

~

1

0

~

~

~

~

~

~

~

y3

y2

0

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

y1

y1

x2

Yr3

x1

~

0

~

0

~

~

~

0

1

0

~

0

0

0

~

0

y3

y2

1

~

~

0

0

~

~

0

~

~

~

~

~

~

~

~

y1

y1