Redraw pictures in MS RPQ example with tikzpicture

Author: bahbyega

tex/RPQ.tex

@@ -15,12 +15,23 @@ \section{Достижимость с несколькими источникам
 В классической версии обхода в ширину, основанного на линейной алгебре, используется вектор, куда записывается фронт обхода графа. Так, один раз перемножая этот вектор на матрицу смежности графа, можно совершать один шаг в обходе графа. Покажем на примере, как данный метод может быть использован, когда мы накладываем формальные ограничения на путь в графе. 
 
 \begin{example}
-  \begin{align}
-    \label{input_rpq}
-        \input{figures/graph/graph0.tex}
-    \end{align}
+  Возьмём граф.
+    \begin{center}
+      \label{input_rpq}
+      \begin{tikzpicture}[node distance=2cm,shorten >=1pt,on grid,auto]
+         \node[state] (q_0)   {$0$};
+         \node[state] (q_1) [above=of q_0] {$1$};
+         \node[state] (q_2) [right=of $(q_0)!0.5!(q_1)$] {$2$};
+         \node[state] (q_3) [right=of q_2] {$3$};
+          \path[->]
+          (q_0) edge  node {a} (q_1)
+          (q_1) edge  node[pos=0.3] {a} (q_2)
+          (q_2) edge  node[pos=0.7] {a} (q_0)
+          (q_2) edge[bend left]  node[above] {b} (q_3)
+          (q_3) edge[bend left]  node {b} (q_2);
+      \end{tikzpicture}
+      \end{center}
 
-  Возьмём граф, представленный на рисунке~\ref{input_rpq}.
   Его матрица смежности имеет следующий вид.
   \[ G_2 =
   \begin{pmatrix}
@@ -47,6 +58,19 @@ \section{Достижимость с несколькими источникам
   \end{alignat*}
 
   Зададим формальные ограничения с помощью регулярного выражения $ba$, которое представляется автоматом из трех последовательных состояний.
+
+  \begin{center}
+    \begin{tikzpicture}[shorten >=1pt,on grid,auto]
+    \node[state, initial]   (q_0) at (0,0)  {$0$};
+    \node[state]             (q_1) at (2,0)  {$1$};
+    \node[state, accepting] (q_2) at (4,0)  {$2$};
+    \path[->]
+    (q_0) edge  node {$b$} (q_1)
+    (q_1) edge  node {$a$} (q_2);
+    \end{tikzpicture}
+  \end{center}
+
+
   Нам хочется совершать обход по графу и автомату одновременно, поэтому также представим автомат в булевом виде.
   \begin{alignat*}{7}
     & &&R_{0\_A} &&= \begin{pmatrix}
@@ -173,8 +197,8 @@ \section{Достижимость с несколькими источникам
 
 Видно, что к вершине 2 можно прийти из нулевого состояния автомата \fbox{1 0 0} \fbox{0 0 1 0}, а к вершине 1 из первого \fbox{0 1 0} \fbox{0 1 0 0}.
 
-Теперь левая часть матрицы M неизменяема, так как каждая её строчка содержит информацию о том, из какого состояния автомата достигаются вершины фронта.
-Правая часть матрицы $M$ содержит этот фронт.
+Теперь левая часть матрицы $M$ неизменяема, так как каждая её строчка содержит информацию о том, из какого состояния автомата достигаются вершины фронта.
+Правая часть матрицы $M$ содержит этот фронт.e
 
 
 Перейдем к формальному описанию алгоритма.