Теория автоматов. Оператор соответствия

Во вложении методичка, ЛР 4, вариант 22.

Автомат задан оператором соответствия (см. раздел 5 «Варианты заданий»). Требуется построить граф переходов и таблицу переходов и выходов соответствующего автомата модели Мили (для четных вариантов) или Мура (для нечетных вариантов). Выполнить первый этап минимизации полученного автомата.

Отчет по работе должен содержать:

1) исходное задание в виде таблицы ОС;

2) ОС в автоматном виде;

3) граф переходов АА, составленный по оператору соответствия;

4) СТПВ для АА модели Мили, либо ОТП для АА модели Мура;

5) первый этап минимизации полученного АА: группы эквивалентных состояний, таблицу переходов минимизированного автомата и список соответствия состояний исходного и минимизированного автомата;

6) граф переходов автомата, полученного в п. 5 отчета.