Небольшие правки в LR.

Author: gsvgit

tex/GLR-based_CFPQ.tex

@@ -36,8 +36,9 @@ \section{Восходящий синтаксический анализ}
 Если ячейка пустая и в процессе работы мы пропали в неё --- значит произошла ошибка. Для детерминированной работы анализатора требуется, чтобы в каждой ячейке было не более одной команды. Есди это не так, то говорят о возникновении конфликтов.
 
 \begin{itemize}
-\item shift-reduce --- ситуация, когда не понятно, читать ли следующий символ или выполнить reduce. Например, если правая часть одного из правил является префиксом правой части другого правила: $N \rightarrow w, M \rightarrow ww'$.
-\item reduce-reduce --- ситуация, когда не понятно, к какому правилу нужно применить reduce. Например, если есть два правила с одинаковыми правыми частями: $N \rightarrow w, M \rightarrow w$.
+\item shift-reduce --- ситуация, когда не понятно, читать ли следующий символ или выполнить свёртку. Например, если правая часть одного из правил является префиксом правой части другого правила: $N \rightarrow w, M \rightarrow ww'$.
+\item reduce-reduce --- ситуация, когда не понятно, к какому правилу нужно применить свёртку.
+Например, если есть два правила с одинаковыми правыми частями: $N \rightarrow w, M \rightarrow w$.
 \end{itemize}
 
 Принцип работы LR анализаторов следующий. Пусть у нас есть входная строка, LR-автомат со стеком и управляющая таблица.