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/n4.lyx | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'mc/n4.lyx')

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