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

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

При лексическом анализе программ на C# после прочтения символа > необходимо прочитать:

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

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

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

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

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

Если мы предположим, что начальные состояния конечных автоматов эквивалентны, то мы можем получить:

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

:

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