5. Синтез асинхронного автомата на контактах

Выписываются полученные функции после минимизации функций алгебры логики, с помощью карт Карно (п.2.4)

Y₁= -X_1*(y₁vy_3*y₄)vX_1*(y₁vX₂*y₂*y₄₎

Y₂= -X₁ *X₂ * y₂vX_1*( -y₁*y₂vX₂ *y₃₎

Y₃=-X₁ *-y₁ * y₃vX₁(y₃v-X₂*-y₁*-y₂₎

Y₄=-X₁(X₂*-y₃vX₂*y₁vy₄*-y₁)vX₁(y₄vX₂*-y₃*-y₄)

Z₁=-X₁(y₃v-y₁*-y₂v-X₂*y₄vX₂*y₁vX₂*-y₃*-y₄₎ vX₁(-y₂vX₂)

Z₂=-X₁(y₁v-y₁*-y₂v-X₂*y₄vX₂*-y₃*-y₄₎ vX₁(-y₁*y₂vy₁*y₃)

1. Синтез синхронного конечного автомата по словесному описанию

3.1 Построение графа переходов