Подскажите, правильно ли нашел детерминированный автомат

[dirkul]

Всем доброго времени суток.
Пожалуйста, посмотрите мое решение изображение . Правильно ли я нашел детерминированный автомат и правильно ли построил граф языка Lo с λ-переходом и без перехода.
Условие задачи:
Автомат задан набором ({a, b}, {q1, q2, q3, q4, q5}, Qs, Qf), где {a, b} – алфавит, Qs – множество начальных состояний (входов), Qf – множество конечных состояний (выходов), и список дуг с метками, определяющими допустимые переходы. Запись (i, j, a, b) означает, что дуга (i, j), идущая из состояния qi в состояние qj, имеет две метки – a и b:
Построить граф автомата и детерминизировать автомат
Построить граф автомата, представляющего язык Lo и из построенного графа удалить λ-переходы;
Вход Qs = {1}, выходы Qf={3,5}; дуги (1,2,а),(1,5,а), (1,4,b), (2,3,а), (3,4,а), (4,5,а), (5,2,b), (5,1,b);
Lo = {$(ab)^m b^n a $| n,m ≥ 0}



Заранее спасибо.

[Toucan]

Тема перемещена в Карантин.

Чтобы оттуда выбраться

1. Условие и текстовую часть решения запишите в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.

2. Рисунки оформите более аккуратно (так, чтобы их можно было рассмотреть без использования лупы).

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.