Oops

1 files changed, 16 insertions, 12 deletions

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