From 6eb211d125d4f0cc6f116ae17d88db5f668979cb Mon Sep 17 00:00:00 2001 From: Juan Marin Noguera Date: Wed, 7 Sep 2022 20:39:08 +0200 Subject: Minor improvements --- mc/n.lyx | 18 ++++++++++++++++++ mc/n1.lyx | 19 ++++++++++++++----- 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 @@ -171,6 +175,20 @@ filename "n1.lyx" \end_inset +\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 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