From 084f7f908523f8be12a59dba957928a57da918be Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 16 Oct 2022 20:18:08 +0200
Subject: MC solución de fallos
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 mc/n.lyx  |  4 +---
 mc/n3.lyx |  6 +++++-
 mc/n4.lyx | 12 ++++++------
 3 files changed, 12 insertions(+), 10 deletions(-)

(limited to 'mc')

diff --git a/mc/n.lyx b/mc/n.lyx
index 1f18ae2..9b57b95 100644
--- a/mc/n.lyx
+++ b/mc/n.lyx
@@ -6,9 +6,7 @@
 \origin unavailable
 \textclass book
 \begin_preamble
-\input{../defs}
-\usepackage[x11names, svgnames, rgb]{xcolor}
-%\usepackage[utf8]{inputenc}
+\usepackage[x11names, svgnames, rgb]{xcolor}\input{../defs}
 \usepackage{tikz}
 \usetikzlibrary{snakes,arrows,shapes}
 \end_preamble
diff --git a/mc/n3.lyx b/mc/n3.lyx
index 2dddee4..22fb847 100644
--- a/mc/n3.lyx
+++ b/mc/n3.lyx
@@ -1769,7 +1769,11 @@ recursivo
 \begin_inset Formula $\text{MT}$
 \end_inset
 
-, y es 
+ e 
+\series bold
+indecidible
+\series default
+ en otro caso, y es 
 \series bold
 Turing-reconocible
 \series default
diff --git a/mc/n4.lyx b/mc/n4.lyx
index 22b19d7..3ed5f9d 100644
--- a/mc/n4.lyx
+++ b/mc/n4.lyx
@@ -1948,12 +1948,8 @@ Se termina cuando no se encuentra
 
 \end_layout
 
-\begin_layout Section
-Lenguajes decidibles
-\end_layout
-
 \begin_layout Standard
-Algunos lenguajes decidibles son:
+Algunos lenguajes decidibles:
 \end_layout
 
 \begin_layout Enumerate
@@ -2535,7 +2531,7 @@ En efecto, sea
 \end_layout
 
 \begin_layout Section
-La máquina de Turing universal
+Numeración de Gödel
 \end_layout
 
 \begin_layout Standard
@@ -2701,6 +2697,10 @@ Existen lenguajes no recursivamente enumerables, pues el conjunto lenguajes
 .
 \end_layout
 
+\begin_layout Section
+La máquina de Turing universal
+\end_layout
+
 \begin_layout Standard
 Existe una 
 \series bold
-- 
cgit v1.2.3