Всем доброго времени суток.
Пожалуйста, посмотрите мое решение изображение. Правильно ли я нашел детерминированный автомат и правильно ли построил граф языка 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}
Заранее спасибо.
Пожалуйста, посмотрите мое решение изображение. Правильно ли я нашел детерминированный автомат и правильно ли построил граф языка 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}
Заранее спасибо.
-
-
23.04.2011 в 07:15-
-
23.04.2011 в 07:20-
-
23.04.2011 в 07:35-
-
29.05.2017 в 10:32-
-
26.12.2018 в 22:50