LR-items fixed in GLR chapter

Author: kajigor

tex/GLR-based_CFPQ.tex

@@ -149,15 +149,15 @@ \subsection{Примеры}
 
 Возьмем следующую грамматику:
 \begin{align*}
-0) S & \rightarrow a S b S \\
-1) S & \rightarrow \varepsilon
+0)&  S & \rightarrow a S b S \\
+1)&  S & \rightarrow \varepsilon
 \end{align*}
 
 Расширим вышеупомянутую грамматику, добавив новый стартовый нетерминал S', и далее будем работать с этой расширенной грамматикой:
 \begin{align*}
-0) & S \rightarrow a S b S \\
-1) & S \rightarrow \varepsilon \\
-2) & S' \rightarrow S \$
+0)&  & S \rightarrow a S b S \\
+1)&  & S \rightarrow \varepsilon \\
+2)&  & S' \rightarrow S \$
 \end{align*}
 
 
@@ -166,9 +166,9 @@ \subsection{Примеры}
 
 Возьмем правило 2 нашей грамматики, предположим, что мы только начинаем разбирать данное правило.
 
-Ядром в таком случае является item исходного правила: $S' \rightarrow .S \$$
+Ядром в таком случае является item исходного правила: $S' \rightarrow \cdot S \$$
 
-При замыкании добавятся ещё два item'a с правилами по выводу нетерминала 'S', поэтому получаем три item'a: $S' \rightarrow .S\$$, $S \rightarrow .aSbS$ и $S \rightarrow .\varepsilon$
+При замыкании добавятся ещё два item'a с правилами по выводу нетерминала 'S', поэтому получаем три item'a: $S' \rightarrow \cdot S\$$, $S \rightarrow \cdot aSbS$ и $S \rightarrow \cdot \varepsilon$
 \end{example}
 
 \begin{example}

tex/figures/GLR/CLR_example.tex

@@ -1,14 +1,4 @@
 \begin{tikzpicture}[> = stealth,node distance=3.25cm, on grid, scale=0.8, every node/.style={scale=0.8}]
-  \node[draw=none, fill=none] at (-1.4, 1.2)  {0};
-  \node[draw=none, fill=none] at (3.1, 0.55)  {3};
-  \node[draw=none, fill=none] at (-1.4, -1.3) {1};
-  \node[draw=none, fill=none] at (-1.4, -3.8) {2};
-  \node[draw=none, fill=none] at (2.9, -1.95) {4};
-  \node[draw=none, fill=none] at (2.9, -4.45) {5};
-  \node[draw=none, fill=none] at (6.7, -1.3)  {6};
-  \node[draw=none, fill=none] at (6.7, -3.8)  {7};
-  \node[draw=none, fill=none] at (11, -1.95)  {8};
-  \node[draw=none, fill=none] at (11, -4.45)  {9};
   \node[r_state] (s_0)
   {
     $
@@ -19,7 +9,7 @@
     \end{aligned}
     $
   };
-  \node[r_state] (s_1) [below=2cm of s_0]
+  \node[r_state] (s_1) [below=2.5cm of s_0]
   {
     $
     \begin{aligned}
@@ -29,7 +19,7 @@
     \end{aligned}
     $
   };
-  \node[r_state] (s_2) [below=2cm of s_1]
+  \node[r_state] (s_2) [below=2.5cm of s_1]
   {
     $
     \begin{aligned}
@@ -80,6 +70,18 @@
     $ S \to a S b S \cdot, \{b\} $
   };
 
+  \node[num_state] at (s_0.north west) {0};
+  \node[num_state] at (s_1.north west) {1};
+  \node[num_state] at (s_2.north west) {2};
+  \node[num_state] at (s_3.north west) {3};
+  \node[num_state] at (s_4.north west) {4};
+  \node[num_state] at (s_5.north west) {5};
+  \node[num_state] at (s_6.north west) {6};
+  \node[num_state] at (s_7.north west) {7};
+  \node[num_state] at (s_8.north west) {8};
+  \node[num_state] at (s_9.north west) {9};
+
+
   \path[->]
     (s_0) edge [left]                 node {$a$} (s_1)
           edge [above]                node {$S$} (s_3)