Minor improvements

1 files changed, 14 insertions, 5 deletions

diff --git a/mc/n1.lyx b/mc/n1.lyx
index eebb177..b7b891a 100644
--- a/mc/n1.lyx
+++ b/mc/n1.lyx
@@ -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