diff options
Diffstat (limited to 'cc/n2.lyx')
| -rw-r--r-- | cc/n2.lyx | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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 . |