diff options
Diffstat (limited to 'cc/n3.lyx')
| -rw-r--r-- | cc/n3.lyx | 28 |
1 files changed, 16 insertions, 12 deletions
@@ -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 |