diff options
Diffstat (limited to 'cc/n1.lyx')
| -rw-r--r-- | cc/n1.lyx | 8 |
1 files changed, 4 insertions, 4 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 |