aboutsummaryrefslogtreecommitdiff
path: root/mc/n3.lyx
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-10-16 20:18:08 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2022-10-16 20:18:08 +0200
commit084f7f908523f8be12a59dba957928a57da918be (patch)
treeec36913b5f106360e9fc5845875f579e975efbb9 /mc/n3.lyx
parent49f2ff845803fc3309a5b55b31c818c4b8e73337 (diff)
MC solución de fallos
Diffstat (limited to 'mc/n3.lyx')
-rw-r--r--mc/n3.lyx6
1 files changed, 5 insertions, 1 deletions
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