diff options
Diffstat (limited to 'cc')
| -rw-r--r-- | cc/n1.lyx | 8 | ||||
| -rw-r--r-- | cc/n2.lyx | 14 | ||||
| -rw-r--r-- | cc/n3.lyx | 28 |
3 files changed, 27 insertions, 23 deletions
@@ -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 @@ -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 . @@ -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 |