diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2022-12-04 22:49:17 +0100 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2022-12-04 22:49:17 +0100 |
| commit | c34b47089a133e58032fe4ea52f61efacaf5f548 (patch) | |
| tree | 4242772e26a9e7b6f7e02b1d1e00dfbe68981345 /cc/n1.lyx | |
| parent | 214b20d1614b09cd5c18e111df0f0d392af2e721 (diff) | |
Oops
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 |
