¿Es una máquina de Turing sin la capacidad de escribir en celdas en blanco menos potente que Turing estándar?
Creo que la respuesta es sí, pero no puedo encontrar un cálculo que la máquina estándar de Turing pueda hacer, pero esta máquina no.
¿Algunas ideas?
Respuestas:
El tipo de máquina de Turing que describe es un autómata lineal (solo puede escribir en las partes de la cinta que contiene la entrada). Los LBA son los que aceptan los lenguajes sensibles al contexto, por lo que para encontrar un ejemplo específico de un problema que no se pueda resolver con esta restricción pero que se pueda resolver en general con una máquina de Turing, solo necesita un lenguaje que sea decidible pero no contextual. sensible.
El ejemplo dado en Wikipedia es:
Para obtener más ejemplos, consulte ¿Hay un ejemplo de un lenguaje recursivo que no sea sensible al contexto?
fuente
fuente