Немного причёсан раздел про first и follow.

Author: gsvgit

tex/part_02_Foundations/chapter_07_ClassicalParsing/03_FirstAndFollow.tex

@@ -20,7 +20,7 @@ \section{Построение множеств $\first$ и $\follow$}
 в нисходящем анализе они определяют, какую продукцию применять (раздел~\ref{sec:TopDown}),
 в восходящем~--- помогают разрешать конфликты (раздел~\ref{sec:BottomUp}).
 
-\fixit{Определение множеств first k и follow k}{Связать абзацы}
+Дадим формальные определения для произвольного $k$, а затем специализируем их для наиболее распространённого на практике случая $k = 1$.
 
 Формально эти множества определяются следующим образом.
 
@@ -46,7 +46,8 @@ \section{Построение множеств $\first$ и $\follow$}
 
 Иными словами, $\follow[k](\beta)$~--- это множество всех терминальных цепочек длины не более $k$, которые могут следовать непосредственно за $\beta$ в некоторой сентенциальной форме, выводимой из аксиомы.
 
-\fixit{Частный случай k = 1 и алгоритмы вычисления}{Связать абзацы}
+Приведённые выше определения носят общий характер.
+Однако на практике подавляющее большинство алгоритмов синтаксического анализа ограничивается одним символом предпросмотра, поэтому далее мы специализируем их для $k = 1$ и подробно рассмотрим построение множеств именно в этом случае.
 
 На практике наиболее распространён случай $k = 1$.
 Для него определения упрощаются:
@@ -63,7 +64,7 @@ \section{Построение множеств $\first$ и $\follow$}
 
 Иными словами, $\follow(\beta)$~--- множество терминалов, которые могут следовать непосредственно за $\beta$ в некоторой сентенциальной форме, выводимой из аксиомы.
 
-\fixit{Алгоритм вычисления first}{Связать абзацы}
+Теперь перейдём непосредственно к алгоритмам вычисления этих множеств и начнём с $\first$.
 
 Множество $\first$ для произвольной сентенциальной формы можно вычислить, пользуясь следующими соотношениями.
 \begin{itemize}
@@ -75,7 +76,7 @@ \section{Построение множеств $\first$ и $\follow$}
 
 Поскольку определения взаимно рекурсивны (в правую часть могут входить нетерминалы, для которых $\first$ ещё не вычислен), на практике эти соотношения применяются итеративно до достижения неподвижной точки.
 
-\fixit{Алгоритм вычисления follow}{Связать абзацы}
+Зная $\first$ для всех нетерминалов, можно вычислить и $\follow$.
 
 Алгоритм для вычисления множества $\follow$ для нетерминалов грамматики состоит из следующих шагов.
 \begin{enumerate}
@@ -95,7 +96,7 @@ \section{Построение множеств $\first$ и $\follow$}
     \item Шаги 3 и 4 повторяются, пока в строящиеся множества добавляются новые элементы.
 \end{enumerate}
 
-\fixit{Пример вычисления}{Связать абзацы}
+Проиллюстрируем работу обоих алгоритмов на примере.
 
 \begin{example}
 \label{ex:first_follow}