From 6eb211d125d4f0cc6f116ae17d88db5f668979cb Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Wed, 7 Sep 2022 20:39:08 +0200
Subject: Minor improvements

---
 mc/n1.lyx | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

(limited to 'mc/n1.lyx')

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
 
-- 
cgit v1.2.3