MC solución de fallos

3 files changed, 12 insertions, 10 deletions

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