ДЗ: Минимизация конечного автомата

Минимизация конечного автомата
Состояния автомата:

• q0 - начальное состояние;
• q1 - составлено разбиение pi k;
• q2 - конечное состояние;

Входные сигналы:

• a - введены некорректные данные;
• b - получены корректные входные данные;
• c - разбиение pi k совпало с pi k-1;
• d - разбиение pi k не совпало с pi k-1;

Выходные сигналы.

• 0 - невозможно минимизировать автомат из-за некорректных введенных данных (N > 3);
• 1 - составлено разбиение pi k;
• 2 - процесс минимизации завершен;
• 3 - можно составить следующее разбиение pi k+1.

Цифровой автомат, переходы:

Граф переходов