ВАР 5

Федеральное государственное бюджетное образовательное учреждение «Уфимский государственный авиационный технический университет»

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 5 Экзамен по направлению 010500 Математическое обеспечение и администрирование информационных систем Дисциплина «Теория формальных языков»

Вопрос № 1 Не коммутативность операции конкатенации формальных языков (доказательство).

Вопрос №2 Определение детерминированного конечного автомата (ДКА). Определение переходной функции T ДКА. Определение множества цепочек,

принимаемых ДКА.

Вопрос №3. Для данной грамматики G=<VN,VT,P,S> определить:

1)класс грамматики;

2)язык L(G), порождаемый данной грамматикой,

VN={S,A,B}, VT={a,b}, P={S→BAB, A→aA, A→a, Baaa→bb, aaB→b}

Вопрос №4. В грамматике задания 3 построить все возможные выводы для цепочки наименьшей длины из языка данной грамматики и все соответствующие размеченные выводы. б) Для полученных выводов и размеченных выводов построить соответствующие деревья выводов и растянутые деревья выводов.

в) Определить, однозначна ли рассматриваемая грамматика.

Вопрос №5. По формальному представлению детерминированного конечного автомата M построить регулярную грамматику G такую, чтобы порождаемый ею язык L(G) совпадал с множеством цепочек L(M), принимаемых автоматом M.

M = <K,VT,t, k1,F> K ={ k1, k2, k3, k4},VT={a,b,c }, F ={k4}, переходная функция t задана таблицей