Задача 1
Конечный автомат (КА) задан набором ({a, b}, {q1, q2, q3, q4, q5}, Qs, Qf ), где {a, b} — ал-
фавит, Qs — множество начальных состояний (входов), Qf — множество конечных состояний
(выходов), и и функцией переходов.
Запись ?({qi}, a) = ?; означает, что из состояния qi по символу a нет перехода ни в одно из
состояний КА.
1 Построить граф автомата и найти язык L, допускаемый автоматом.
2 Детерминизировать автомат.
3 Построить графы автоматов, представляющих языки L0, L ? L0, L ? L0 и L?.
4 Из построенных графов удалить ?-переходы.