Fix definition 5.0.2

Author: asurkis

tex/Context-Free_Languages.tex

@@ -29,7 +29,7 @@ \chapter{Контекстно-свободные грамматики и язы
 
 
 \begin{definition}\label{def derivability in CFG}
-  \textit{Отношение непосредственной выводимости}. Мы говорим, что последовательность терминалов и нетерминалов $\gamma \alpha \delta$ \textit{непосредственно выводится из} $\gamma \beta \delta$ \textit{при помощи правила} $\alpha \rightarrow \beta$ ($\gamma \alpha \delta \Rightarrow \gamma \beta \delta$), если
+  \textit{Отношение непосредственной выводимости}. Мы говорим, что последовательность терминалов и нетерминалов $\gamma \beta \delta$ \textit{непосредственно выводится из} $\gamma \alpha \delta$ \textit{при помощи правила} $\alpha \rightarrow \beta$ ($\gamma \alpha \delta \Rightarrow \gamma \beta \delta$), если
   \begin{itemize}
     \item $\alpha \rightarrow \beta \in P$
     \item $\gamma, \delta \in \{\Sigma \cup N\}^* \cup {\varepsilon}$