Немного поредактировал изображения.

Author: gsvgit

tex/GLL-based_CFPQ.tex

@@ -78,8 +78,10 @@ \section{LL(k)-алгоритм синтаксического анализа}
   \end{tabular}
 \end{center}
 
-Для построения таблицы вычисляются множества $\first[k]$ и $\follow[k]$. Идейно их можно понимать, как первые или, соответственно, последующие $k$ символов в результирующем выводе, при использовании нетерминала $A$. Данную мысль хорошо иллюстрирует рисунок:
-
+Для построения таблицы вычисляются множества $\first[k]$ и $\follow[k]$.
+Идейно их можно понимать, как первые или, соответственно, последующие $k$ символов в результирующем выводе, при использовании нетерминала $A$.
+Данную мысль хорошо иллюстрирует рисунок\ref{fig:first_follow}.
+\begin{marginfigure}
 \begin{center}
     \begin{tikzpicture}
         \draw[black, thick] (0,0) -- (2,4);
@@ -102,6 +104,9 @@ \section{LL(k)-алгоритм синтаксического анализа}
         node[anchor=north] {\footnotesize $\follow[k](A)$};
     \end{tikzpicture}
 \end{center}
+\caption{Схемаичное изображение $\first[k](A)$ и $\follow[k](A)$}
+\label{fig:first_follow}
+\end{marginfigure}
 
 Определим их формально:
 

tex/GLR-based_CFPQ.tex

@@ -376,11 +376,15 @@ \subsection{Примеры}
 
 \subsection{Сравнение классов LL и LR}
 
-Иерархию языков, распознаваемых различными классами алгоритмов, можно представить следующим  образом.
+Иерархию языков, распознаваемых различными классами алгоритмов, можно представить как изображено на рисунке~\ref{fig:ll_lr_comparison}.
 
+\begin{marginfigure}
 \begin{center}
   \input{figures/GLR/LL_LR.tex}
 \end{center}
+\caption{Соотношение между классами $LL(k)$ и $LR(k)$}
+\label{fig:ll_lr_comparison}
+\end{marginfigure}
 
 Из диаграммы видно, что класс языков, распознаваемых LL(k) алгоритмом уже, чем класс языков, распознаваемый LR(k) алгоритмом, при любом конечном $k$. Приведём несколько примеров.
 \begin{enumerate}

tex/RegularLanguages.tex

@@ -466,7 +466,7 @@ \section{Построение конечного автомата по регу
                     (q_0) edge[bend left, left]   node {$b$} (q_2);
             \end{tikzpicture}}
         \end{center}
-        \caption{Пример детерминированного конечного автомата в котором состояние $0$}
+        \caption{Построение автомата по регулярному выражению с помощью производных: первый шаг}
         \label{fig:regexp_to_dfa_example_step_1}
     \end{marginfigure}
     \begin{marginfigure}
@@ -486,7 +486,7 @@ \section{Построение конечного автомата по регу
             \end{tikzpicture}
             }
         \end{center}
-        \caption{Пример детерминированного конечного автомата в котором состояние}
+        \caption{Построение автомата по регулярному выражению с помощью производных: второй шаг}
         \label{fig:regexp_to_dfa_example_step_2}
     \end{marginfigure}
     \begin{marginfigure}
@@ -508,7 +508,7 @@ \section{Построение конечного автомата по регу
             \end{tikzpicture}
             }
         \end{center}
-        \caption{Пример детерминированного конечного автомата в }
+        \caption{Построение автомата по регулярному выражению с помощью производных: результирующий автомат}
         \label{fig:regexp_to_dfa_example_step_3}
     \end{marginfigure}
 \end{example}
@@ -668,7 +668,7 @@ \section{Построение регулярного выражения по к
 
     \end{center}
 
-    \caption{Общий вид автомата после завершения основного цикла}
+    \caption{Общий вид автомата после завершения основного цикла исключения вершин при построении по нему регулярного выражения}
     \label{fig:fa_to_regexp_final}
 
 \end{marginfigure}