Разработка асинхронного автомата. Синтезирование асинхронного автомата табличным методом, страница 2

Таблица 14.

X(t)

Y1(t-1)

Y2(t-1)

Y3(t-1)

Y1(t)

Y2(t)

Y3(t)

Z(t)

0

1

1

1

0

1

1

0

0

1

1

0

1

1

0

0

0

1

0

1

1

0

1

1

0

1

0

0

1

0

0

0

0

0

1

1

1

1

1

0

0

0

1

0

--

--

--

--

0

0

0

1

--

--

--

--

0

0

0

0

--

--

--

--

1

1

1

1

1

1

1

1

1

1

1

0

0

1

0

1

1

1

0

1

1

0

0

0

1

1

0

0

1

1

0

1

1

0

1

1

0

1

1

0

1

0

1

0

0

0

0

1

1

0

0

1

1

0

1

1

1

0

0

0

0

0

1

1

Y1(t-1)Y1(t-1)

Y1(t)

Y2(t)

X(t)

1

1

1

0

X(t)

1

0

0

0

Y2(t-1)Y2(t-1)

0

1

0

0

1

1

1

0

1

0

1

--

1

1

1

--

1

1

--

--

0

0

--

--

Y3(t-1)Y3(t-1)

D3 D3
Y1(t)=Y1*Y2+X*Y1*Y3+Y3*Y2+X*Y1+X*Y3
Y2(t)=Y2*Y3+Y1*Y2+X*Y1*Y3


Y1(t-1)Y1(t-1)

Y3(t)

Z(t)

X(t)X(t)

0

0

1

1

1

0

1

1

Y2(t-1)Y2(t-1)

0

1

1

0

1

1

0

1

0

1

1

--

0

0

0

--

0

1

--

--

0

1

--

--

Y3(t)=Y2*Y3+X*Y3+Y1*Y2
Z(t)=Y1*Y2+X*Y2*Y3+X*Y1*Y2+X*Y3
Y3(t-1)Y3(t-1)


Рисунок 15 – Минимизация функций асинхронного автомата с помощью карт Карно