diff options
Diffstat (limited to 'mc/n1.lyx')
| -rw-r--r-- | mc/n1.lyx | 19 |
1 files changed, 14 insertions, 5 deletions
@@ -137,6 +137,15 @@ concatenación \end_inset es un monoide con la concatenación de cadenas. + Dada +\begin_inset Formula $u=u_{1}\cdots u_{n}\in\Sigma^{*}$ +\end_inset + +, llamamos +\begin_inset Formula $u^{\text{R}}\coloneqq u_{n}u_{n-1}\cdots u_{1}$ +\end_inset + +. \end_layout \begin_layout Standard @@ -1152,14 +1161,14 @@ Dados dos lenguajes regulares \end_inset con NFAs respectivos -\begin_inset Formula $(Q_{1},\Sigma,\delta_{1},q_{1},F_{1})$ -\end_inset +\begin_inset Formula +\begin{eqnarray*} +(Q_{1},\Sigma,\delta_{1},q_{1},F_{1}) & \text{ y } & (Q_{2},\Sigma,\delta_{2},q_{2},F_{2}), +\end{eqnarray*} - y -\begin_inset Formula $(Q_{2},\Sigma,\delta_{2},q_{2},F_{2})$ \end_inset -, + \begin_inset Formula $L_{1}\cup L_{2}$ \end_inset |