При пополнении какой грамматики правилом S' -> Sможно получить следующие...

Разработка компиляторов

При пополнении какой грамматики правилом S' -> Sможно получить следующие состояния:

0: {[S'-gt;.S, $], [S-gt;.AA, $], [A-gt;.aA, a], [A-gt;.aA, b], [A-gt;.b, a], [A-gt;.b, b]}1: {[S'-gt;S., $]}2: {[S'-gt;A.A, $], A-gt;.aA, $], [A-gt;.b, $]}3: {[A-gt;a.A, a], [A-gt;a.A, b], [A-gt;.a.A, a], [A-gt;.a.A, b], [A-gt;.b, a], [A-gt;.b, b]}4: {[A-gt;b., a], [A-gt;b., b]}5: {[S-gt;AA. $]}6: {[A-gt;a.A, $], [A-gt;.aA, $], [A-gt;.b, $]}7:  {[A-gt;b., $]}8:  {[A-gt;aA.,a], [A-gt;aA.,b]}9:  {[A-gt;aA.,$]}

(Отметьте один правильный вариант ответа.)

Варианты ответа

грамматика G1 с правилами:

S -> AbA -> abA -> b

грамматика G1 с правилами:

S -> AAA -> aA -> b

грамматика G1 с правилами:

S -> AAA -> aAA -> b

(Верный ответ)

грамматика G1 с правилами:

S -> AbA -> aAA -> A

Похожие вопросы

Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:

Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:

Для данной грамматики:

(1)	E->T(2)	E->T(3)	T->T*F(4)	T->F(5)	F-> (E)(6)	F->id

si - это:

Для любых регулярных выражений P и Q следующие множества также являются регулярными выражениями:

В регулярных выражениях в Lex-программе допустимы следующие способы кодирования символа а:

Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:

Пусть задана грамматика G=(A,N,S,R) и дерево t. Индукцией по числу шагов можно доказать, что приведенный алгоритм действительно:

Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:

Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:

Поскольку для символа $ операция goto (I, $) не определена, можно выполнить: