aboutsummaryrefslogtreecommitdiff
path: root/cc/n1.lyx
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-12-04 22:49:17 +0100
committerJuan Marin Noguera <juan@mnpi.eu>2022-12-04 22:49:17 +0100
commitc34b47089a133e58032fe4ea52f61efacaf5f548 (patch)
tree4242772e26a9e7b6f7e02b1d1e00dfbe68981345 /cc/n1.lyx
parent214b20d1614b09cd5c18e111df0f0d392af2e721 (diff)
Oops
Diffstat (limited to 'cc/n1.lyx')
-rw-r--r--cc/n1.lyx8
1 files changed, 4 insertions, 4 deletions
diff --git a/cc/n1.lyx b/cc/n1.lyx
index ee9fa3c..f019c35 100644
--- a/cc/n1.lyx
+++ b/cc/n1.lyx
@@ -737,7 +737,7 @@ Una
gramática
\series default
es una tupla
-\begin_inset Formula $G:=(V_{N},V_{T},P,S)$
+\begin_inset Formula $G\coloneqq (V_{N},V_{T},P,S)$
\end_inset
donde
@@ -827,7 +827,7 @@ deriva directamente
.
Si
-\begin_inset Formula $\alpha=:\gamma_{0}\Rightarrow\dots\Rightarrow\gamma_{n}:=\beta$
+\begin_inset Formula $\alpha=:\gamma_{0}\Rightarrow\dots\Rightarrow\gamma_{n}\coloneqq \beta$
\end_inset
,
@@ -901,7 +901,7 @@ Una
forma sentencial
\series default
es un elemento de
-\begin_inset Formula $D(G):=\{\alpha\in(V_{N}\cup V_{T})^{*}\mid S\Rightarrow^{*}\alpha\}$
+\begin_inset Formula $D(G)\coloneqq \{\alpha\in(V_{N}\cup V_{T})^{*}\mid S\Rightarrow^{*}\alpha\}$
\end_inset
, y una
@@ -909,7 +909,7 @@ forma sentencial
sentencia
\series default
es un elemento de
-\begin_inset Formula ${\cal L}(G):=D(G)\cap V_{T}^{*}$
+\begin_inset Formula ${\cal L}(G)\coloneqq D(G)\cap V_{T}^{*}$
\end_inset
, el