Построение графа конечного автомата Мура
Граф конечного автомата Мура строим для оптимального режима (см. рис. 4). Задаём состояния автомата: a1 – начальное положение; a2 – работает один насос; a3 – работают два насоса; a4 – операция остановки насосов. Входные сигналы: z1 – сигнал от датчика верхнего уровня (сигнал включения 1-ого насоса); z2 – сигнал от датчика повышенного уровня (сигнал включения 2-ого насоса); z3 – сигнал от датчика нижнего уровня (сигнал отключения насосов); z4 –сигнал остановки насосов (прекращение операции остановки). Выходные сигналы: w1 – сигнал начального состояния; w2 – сигнал включения 1-ого насоса; w3 – сигнал включения 2-ого насоса; w4 – операция остановки.
Составляем уравнения переходов:
Уравнения выходов автомата:
|
;
;
;
.
;
;
;
.
