Minor improvements

2 files changed, 32 insertions, 5 deletions

diff --git a/mc/n.lyx b/mc/n.lyx
index 037d5b4..4b2dfbd 100644
--- a/mc/n.lyx
+++ b/mc/n.lyx
@@ -7,6 +7,10 @@
 \textclass book
 \begin_preamble
 \input{../defs}
+\usepackage[x11names, svgnames, rgb]{xcolor}
+%\usepackage[utf8]{inputenc}
+\usepackage{tikz}
+\usetikzlibrary{snakes,arrows,shapes}
 \end_preamble
 \use_default_options true
 \begin_modules
@@ -173,5 +177,19 @@ filename "n1.lyx"
 
 \end_layout
 
+\begin_layout Chapter
+Lenguajes libres de contexto
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset include
+LatexCommand input
+filename "n2.lyx"
+
+\end_inset
+
+
+\end_layout
+
 \end_body
 \end_document
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