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  | 
