aboutsummaryrefslogtreecommitdiff
path: root/mc/n2.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'mc/n2.lyx')
-rw-r--r--mc/n2.lyx4
1 files changed, 2 insertions, 2 deletions
diff --git a/mc/n2.lyx b/mc/n2.lyx
index 758fd91..b7cae20 100644
--- a/mc/n2.lyx
+++ b/mc/n2.lyx
@@ -602,7 +602,7 @@ variable inicial
\end_inset
, donde
-\begin_inset Formula $\{w_{1},\dots,w_{n}\}=\{w:(T,w)\in V\}$
+\begin_inset Formula $\{w_{1},\dots,w_{n}\}=\{w\mid (T,w)\in V\}$
\end_inset
.
@@ -668,7 +668,7 @@ lenguaje generado
\end_inset
es
-\begin_inset Formula $L(G)\coloneqq\{w\in\Sigma^{*}:S\Rightarrow^{*}w\}$
+\begin_inset Formula $L(G)\coloneqq\{w\in\Sigma^{*}\mid S\Rightarrow^{*}w\}$
\end_inset
.