diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2022-10-16 20:18:08 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2022-10-16 20:18:08 +0200 |
| commit | 084f7f908523f8be12a59dba957928a57da918be (patch) | |
| tree | ec36913b5f106360e9fc5845875f579e975efbb9 /mc/n4.lyx | |
| parent | 49f2ff845803fc3309a5b55b31c818c4b8e73337 (diff) | |
MC solución de fallos
Diffstat (limited to 'mc/n4.lyx')
| -rw-r--r-- | mc/n4.lyx | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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 |