Разработка компиляторов - тест 7

Предназначен для построения дерева разбора, начиная с листьев и двигаясь вверх к корню дерева разбора:

Процесс построения дерева разбора, начиная с листьев и двигаясь вверх к корню дерева разбора может быть представлен как:

В следующей грамматике:S->aABe
A->Abc
A->b
B->d
цепочка abbcde может быть свернута в аксиому следующим образом:

LR(k) означает, что:

При LR(k)-анализе применяется метод:

Метод "перенос-свертка" использует:

Символы входной цепочки переносятся в магазин до тех пор, пока на вершине магазина не накопится цепочка, совпадающая с правой частью какого-нибудь из правил:

LR(k)-анализатор состоит из:

Управляющая программа:

Комбинация символа состояния на вершине магазина и текущего входного символа используется:

Функция goto получает:

LR(0)-анализатор принимает решение о своих действиях только на основании содержимого магазина:

LR(0)-ситуации не должны содержать:

Входная цепочка может начинаться с любого:

Данная ситуация:[S'->.S]
[S-gt;.x]
[S-gt;.(L)]определяет состояние:

Данная ситуация:[S->x.]определяет состояние:

Данная ситуация:[S->(.L)]
[L->.L, S]
[L->.S]
[S->.(L)]
[S->.x]определяет состояние:

Данная ситуация:[S'->S.$]определяет состояние:

Какая операция добавляет ситуации к множеству ситуаций, у которых точка стоит слева от нетерминала:

В данном примере:
goto (I, X) 
{
   J={};      
   for (каждой ситуации [A->w.Xv] из I) {
      J+=[A->wX.v];
   }
   return closure (J);
}происходит:

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

В данном примере:R = empty set;
for (each state I in T)
{
   for (each item [A->w.] in I)
   {
      R+={(I, A->w)};
   }
}вычисляется:

Алгоритм построения управляющей таблицы автомата состоит из следующих шагов:

Сколько символов входной цепочки использует для принятия решения LR(1)-анализатор:

LR(1)-ситуация состоит из:

Для данной грамматики:(1)	E->T
(2)	E->T
(3)	T->T*F
(4)	T->F
(5)	F-> (E)
(6)	F->idsi - это:

При пополнении какой грамматики правилом 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.,$]}:

LALR анализатор имеет значительное преимущество в размере таблиц по сравнению с:

Неоднозначность грамматики приводит:

Имеется следующая входная цепочка: if E1 then if E2 then S1 else S2, при содержимом стека - $ if E1 then if E2 then S1 необработанной частью входной цепочки является:

Конфликт перенос-свертка может быть решен следующими методами:

Альтернативой построению новой грамматики может служить "соглашение", что в случае конфликта перенос-свертка:

Конфликт перенос-перенос возникает, когда на вершине стека анализатора возникает строка терминалов, к которой:

В процессе разбора входной цепочки id (id, id), при содержимом стека - $ id (id, необработанная часть представляет собой:

В данной грамматике:E –> id | num | E* E | E + E операции сложения и умножения выполняются:

При анализе строки 1+2+3 (содержимое стека - $E+) необработанная часть входной цепочки будет представлять собой: