diff options
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 |