From c34b47089a133e58032fe4ea52f61efacaf5f548 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 4 Dec 2022 22:49:17 +0100
Subject: Oops

---
 cc/n1.lyx |  8 ++++----
 cc/n2.lyx | 14 +++++++-------
 cc/n3.lyx | 28 ++++++++++++++++------------
 3 files changed, 27 insertions(+), 23 deletions(-)

(limited to 'cc')

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 
diff --git a/cc/n2.lyx b/cc/n2.lyx
index 1aa3a14..abf0430 100644
--- a/cc/n2.lyx
+++ b/cc/n2.lyx
@@ -219,7 +219,7 @@ expresiones regulares
 
  y que los tres operadores son asociativos por la izquierda, y se puede
  escribir 
-\begin_inset Formula $\alpha\beta:=\alpha\circ\beta$
+\begin_inset Formula $\alpha\beta\coloneqq \alpha\circ\beta$
 \end_inset
 
 .
@@ -235,11 +235,11 @@ Toda expresión regular
 \end_inset
 
 , dado por 
-\begin_inset Formula $L(\emptyset):=\emptyset$
+\begin_inset Formula $L(\emptyset)\coloneqq \emptyset$
 \end_inset
 
 ; 
-\begin_inset Formula $L(\lambda):=\{\lambda\}$
+\begin_inset Formula $L(\lambda)\coloneqq \{\lambda\}$
 \end_inset
 
 ; si 
@@ -247,7 +247,7 @@ Toda expresión regular
 \end_inset
 
 , 
-\begin_inset Formula $L(a):=\{a\}$
+\begin_inset Formula $L(a)\coloneqq \{a\}$
 \end_inset
 
 , y si 
@@ -259,15 +259,15 @@ Toda expresión regular
 \end_inset
 
  son expresiones regulares, 
-\begin_inset Formula $L(\alpha|\beta):=L(\alpha)\cup L(\beta)$
+\begin_inset Formula $L(\alpha|\beta)\coloneqq L(\alpha)\cup L(\beta)$
 \end_inset
 
 , 
-\begin_inset Formula $L(\alpha\beta):=L(\alpha)L(\beta)$
+\begin_inset Formula $L(\alpha\beta)\coloneqq L(\alpha)L(\beta)$
 \end_inset
 
  y 
-\begin_inset Formula $L(\alpha^{*}):=L(\alpha)^{*}$
+\begin_inset Formula $L(\alpha^{*})\coloneqq L(\alpha)^{*}$
 \end_inset
 
 .
diff --git a/cc/n3.lyx b/cc/n3.lyx
index d1b4fd9..541313f 100644
--- a/cc/n3.lyx
+++ b/cc/n3.lyx
@@ -168,7 +168,7 @@ Fundamentos teóricos
 
 \begin_layout Standard
 Dada una gramática libre de contexto (GLC) 
-\begin_inset Formula $G:=(V_{N},V_{T},P,S)$
+\begin_inset Formula $G\coloneqq (V_{N},V_{T},P,S)$
 \end_inset
 
 , una derivación directa 
@@ -265,7 +265,7 @@ reducción por la izquierda
 
 \begin_layout Standard
 Si 
-\begin_inset Formula $\gamma A\mu\Rightarrow\alpha:=\gamma\beta\mu$
+\begin_inset Formula $\gamma A\mu\Rightarrow\alpha\coloneqq \gamma\beta\mu$
 \end_inset
 
 , 
@@ -468,7 +468,7 @@ Un
 autómata de pila
 \series default
  es una tupla 
-\begin_inset Formula $M:=(Q,V,\Sigma,\delta,q_{0},z_{0},F)$
+\begin_inset Formula $M\coloneqq (Q,V,\Sigma,\delta,q_{0},z_{0},F)$
 \end_inset
 
  donde 
@@ -633,7 +633,7 @@ Algunas características de los lenguajes de programación no son libres de
 \begin_layout Itemize
 Declaración de identificadores.
  
-\begin_inset Formula $L_{1}:=\{wcw\mid w\in\{a,b\}^{*}\}$
+\begin_inset Formula $L_{1}\coloneqq \{wcw\mid w\in\{a,b\}^{*}\}$
 \end_inset
 
 , donde en 
@@ -658,7 +658,7 @@ Declaración de identificadores.
 \begin_layout Itemize
 Número de parámetros de las funciones.
  Si 
-\begin_inset Formula $L_{2}:=\{a^{n}b^{m}c^{n}d^{m}\mid n,m\geq1\}$
+\begin_inset Formula $L_{2}\coloneqq \{a^{n}b^{m}c^{n}d^{m}\mid n,m\geq1\}$
 \end_inset
 
 , donde una 
@@ -1768,7 +1768,7 @@ Método SLR
 
 \begin_layout Standard
 Dadas una gramática 
-\begin_inset Formula $G:=(V_{N},V_{T},P,S)$
+\begin_inset Formula $G\coloneqq (V_{N},V_{T},P,S)$
 \end_inset
 
  y 
@@ -2697,7 +2697,7 @@ noprefix "false"
 \end_inset
 
 , llamamos 
-\begin_inset Formula $\mathsf{Goto}(I,X):=\mathsf{Clausura}(\{[A\to\alpha X\cdot\beta,a]\}_{[A\to\alpha\cdot X\beta,a]\in I})$
+\begin_inset Formula $\mathsf{Goto}(I,X)\coloneqq \mathsf{Clausura}(\{[A\to\alpha X\cdot\beta,a]\}_{[A\to\alpha\cdot X\beta,a]\in I})$
 \end_inset
 
 .
@@ -3251,7 +3251,7 @@ Si, para
 \end_inset
 
 , 
-\begin_inset Formula $\rho(I):=\{R\mid \exists a\in V_{T}\mid [R,a]\in I\}$
+\begin_inset Formula $\rho(I)\coloneqq \{R\mid \exists a\in V_{T}\mid [R,a]\in I\}$
 \end_inset
 
 , para 
@@ -3532,7 +3532,7 @@ Modo pánico: Se extraen pares de elementos de la pila hasta encontrar un
 \end_inset
 
  con 
-\begin_inset Formula $s':=\mathsf{IrA}(s,A)$
+\begin_inset Formula $s'\coloneqq \mathsf{IrA}(s,A)$
 \end_inset
 
  definido, que no se llega a extraer; se introducen 
@@ -3965,7 +3965,9 @@ Salida{GLC $(V_N,V_T,P',S)$ equivalente sin reglas unitarias.}
 \backslash
 lPara{$A
 \backslash
-in V_N$}{$U(A):=
+in V_N$}{$U(A)
+\backslash
+coloneqq 
 \backslash
 {B
 \backslash
@@ -4570,7 +4572,9 @@ Llamar $
 \backslash
 dots,A_n
 \backslash
-}:=V_N$ con $A_1=S$
+}
+\backslash
+coloneqq V_N$ con $A_1=S$
 \backslash
 ;
 \end_layout
@@ -5179,7 +5183,7 @@ tabla de análisis
 \end_inset
 
  dada por 
-\begin_inset Formula $M(A,a):=\{A\to\alpha\in P\mid a\in\mathsf{Predict}(A\to\alpha)\}$
+\begin_inset Formula $M(A,a)\coloneqq \{A\to\alpha\in P\mid a\in\mathsf{Predict}(A\to\alpha)\}$
 \end_inset
 
 , que a cada no terminal a derivar y terminal siguiente en la entrada le
-- 
cgit v1.2.3