[escepticos] RE ** Lenguajes JMienses

[Jose Ramón Brox]

>Pues sí... a la máquina de Turing le bastaba un sistema unario ;-)

Jajajaja ¡pero eso es trampa!

La máquina de Turing tiene estados internos :D

Ahora bien, todo lo que hace una máquina de Turing se codifica con una función recursiva, 
y si no recuerdo mal, las funciones recursivas son todas construibles en la aritmética, 
por tanto...

:D Jose