Автомат А задан таблицей переходов
х_1 -> синяя стрелка
х_2 -> красная стрелка
Для каждой из автономных компонент А_1, А_2 и для самого автомата А
1. построить диаграмму переходов, для компонент - без самопересечений
2. Выделить главный подавтомат, порожденный состоянием 0
3. Выделить один из минимальных не нулевых подавтоматов
4. Выделить один из максимальных собственных подавтоматов
5. построить диаграмму каркаса автоматов
Салий В.Н. Универсальная алгебра и автоматы
Полинин вариант 20 02 42
Мой вариант 13 12 42
_|x_1|x_2|
0| 1 | 2 |
1| 3 | 4 |
2| 1 | 2 |
3| 2 | 1 |
4| 4 | 3 |
5| 2 | 1 |