diff options
Diffstat (limited to 'cc')
| -rw-r--r-- | cc/n1.lyx | 2 | ||||
| -rw-r--r-- | cc/n3.lyx | 10 |
2 files changed, 6 insertions, 6 deletions
@@ -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})^{*}:S\Rightarrow^{*}\alpha\}$ +\begin_inset Formula $D(G):=\{\alpha\in(V_{N}\cup V_{T})^{*}\mid S\Rightarrow^{*}\alpha\}$ \end_inset , y una @@ -742,7 +742,7 @@ Dada una GLC como \begin_inset Formula \[ -\mathsf{PRIMERO}(\alpha):=\{a\in V_{T}:\exists\beta:\alpha\Rightarrow^{*}a\beta\}\cup\{\lambda:\alpha\Rightarrow^{*}\lambda\}. +\mathsf{PRIMERO}(\alpha):=\{a\in V_{T}\mid \exists\beta:\alpha\Rightarrow^{*}a\beta\}\cup\{\lambda\mid \alpha\Rightarrow^{*}\lambda\}. \] \end_inset @@ -986,7 +986,7 @@ noprefix "false" \begin_inset Formula \begin{multline*} \mathsf{PRIMERO}(X_{1}\cdots X_{n})=\\ -=\bigcup_{i=1}^{\min(\{i:X_{1}\cdots X_{i}\nRightarrow^{*}\lambda\}\cup\{n\})}(\sigma(X_{i})\setminus\{\lambda\})\cup\{\lambda:X_{1}\cdots X_{n}\Rightarrow^{*}\lambda\}. +=\bigcup_{i=1}^{\min(\{i\mid X_{1}\cdots X_{i}\nRightarrow^{*}\lambda\}\cup\{n\})}(\sigma(X_{i})\setminus\{\lambda\})\cup\{\lambda\mid X_{1}\cdots X_{n}\Rightarrow^{*}\lambda\}. \end{multline*} \end_inset @@ -1250,7 +1250,7 @@ Definimos como \begin_inset Formula \[ -\mathsf{SIGUIENTE}(A):=\{a\in V_{T}:\exists\alpha,\beta:S\Rightarrow^{+}\alpha Aa\beta\}\cup\{\$:\exists\alpha:S\Rightarrow^{*}\alpha A\}, +\mathsf{SIGUIENTE}(A):=\{a\in V_{T}\mid \exists\alpha,\beta:S\Rightarrow^{+}\alpha Aa\beta\}\cup\{\$\mid \exists\alpha\mid S\Rightarrow^{*}\alpha A\}, \] \end_inset @@ -3251,7 +3251,7 @@ Si, para \end_inset , -\begin_inset Formula $\rho(I):=\{R:\exists a\in V_{T}:[R,a]\in I\}$ +\begin_inset Formula $\rho(I):=\{R\mid \exists a\in V_{T}\mid [R,a]\in I\}$ \end_inset , para @@ -5179,7 +5179,7 @@ tabla de análisis \end_inset dada por -\begin_inset Formula $M(A,a):=\{A\to\alpha\in P:a\in\mathsf{Predict}(A\to\alpha)\}$ +\begin_inset Formula $M(A,a):=\{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 |