diff options
Diffstat (limited to 'mc')
| -rw-r--r-- | mc/n.lyx | 4 | ||||
| -rw-r--r-- | mc/n3.lyx | 6 | ||||
| -rw-r--r-- | mc/n4.lyx | 12 |
3 files changed, 12 insertions, 10 deletions
@@ -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 @@ -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 @@ -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 |