Hay algunos:
- Las máquinas Turing tienen almacenamiento ilimitado, las computadoras modernas no. Técnicamente, eso significa que mi computadora está más cerca de una máquina de estados finitos que una máquina de Turing. Dado que mi computadora tiene 8 GB de RAM y 3936 bits (más o menos) de estado de registro interno, es un FSM con algo así como [matemática] 2 ^ {3936} 2 ^ {2 ^ {36}} [/ matemática] estados. Estos son muchos estados, mucho más de lo que la gente estudia cuando habla de FSM en la escuela. Efectivamente, un FSM con tantos estados puede hacer cualquier cosa que un TM no requiera más memoria de la que puede hacer.
- Los TM normalmente se especifican sin E / S: la entrada es lo que está en la cinta cuando se enciende la máquina, y la salida es lo que está en la cinta cuando la máquina se detiene. No hay ninguna disposición en las descripciones TM estándar para cambiar el estado de la máquina externamente, o leer el estado de la máquina externamente, mientras la máquina está en funcionamiento. Las computadoras modernas usan E / S todo el tiempo. Está recibiendo y actuando sobre entradas cada vez que presiono una tecla en mi teclado. Muestra los resultados de eso en mi pantalla. Un TM no puede hacer eso. Supongo que es posible diseñar un modelo de cálculo similar a TM que acepte la entrada (tal vez tener una segunda cinta de entrada que podría tener un símbolo adicional que significa “sin entrada” que podría comprobar).
