Máquina de Turing

Aumenta el poder de Epistemologia y
Logica en: {p/r}{p/r}
Presentada por Alan Turing en 1936 es
el modelo matematico de un dispositivo que
se comporta como un automata finito y
que dispone de una cinta de longitud infinita en
la que se pueden leer, escribir o borrar simbolos.