Preguntas etiquetadas con undecidability

Quiero saber si el siguiente problema es decidible y cómo averiguarlo. Cada problema que veo puedo decir "sí" o "no", ¿entonces la mayoría de los problemas y algoritmos son decidibles, excepto algunos (que se proporcionan aquí )? Entrada: Un gráfico dirigido y finito , con y como vértices Pregunta: ¿Existe …

17 algorithms  computability  graph-theory  undecidability 

No existe una solución analítica general para el problema del cuerpo n que pueda producir una función analítica que pueda usarse para proporcionar el estado de un sistema n-cuerpo en un tiempo arbitrario t con precisión exacta. Sin embargo, hay algunos casos especiales de sistemas de n cuerpos para los …

16 computability  turing-machines  undecidability  computation-models 

El problema de si dos autómatas pushdown reconocen el mismo idioma es indecidible. El problema de si un autómata pushdown reconoce el idioma vacío es decidible, por lo tanto, también es decidible si reconoce un idioma finito determinado. No se puede determinar si el lenguaje aceptado por un autómata pushdown …

16 computability  undecidability  pushdown-automata 

¿Hay propiedades indecidibles de autómatas lineales delimitados (evitando el truco del lenguaje de conjunto vacío)? ¿Qué pasa con un autómata finito determinista? (Deje de lado la intratabilidad). Me gustaría obtener un ejemplo (si es posible) de un problema indecidible que se define sin utilizar explícitamente máquinas de Turing . ¿Es …

15 computability  automata  undecidability 

Se sabe que el lenguaje de las palabras que contienen el mismo número de 0 y 1 no es regular, mientras que el lenguaje de las palabras que contienen el mismo número de 001 y 100 es regular ( ver aquí ). Dadas dos palabras , ¿es decidible si el …

14 regular-languages  undecidability 

Me pregunto ¿cómo es que el siguiente lenguaje está en .RR\mathrm R LMETRO1= { ⟨ M2⟩∣∣METRO2 es una TM, y L ( M1) = L ( M2) , Y | ⟨ M1⟩ | > | ⟨ M2⟩ | }LMETRO1={⟨METRO2⟩El |METRO2 es un TM, y L(METRO1)=L(METRO2), y El |⟨METRO1⟩El |>El |⟨METRO2⟩El …

14 computability  undecidability 

Tengo estas preguntas de un antiguo examen que estoy tratando de resolver. Para cada problema, la entrada es una codificación de una máquina de Turing MMM . Para un entero c>1c>1c>1 , y los siguientes tres problemas: ¿Es cierto que para cada entrada xxx , M no pasa el |x|+c|x|+c|x|+c …

14 computability  turing-machines  undecidability 

Sin embargo, muchos problemas indecidibles "famosos" son al menos semidecidibles, y su complemento es indecidible. Un ejemplo sobre todo puede ser el problema de detención y su complemento. Sin embargo, ¿alguien puede darme un ejemplo en el que tanto un problema como su complemento sean indecidibles y no semidecidibles? Pensé …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Me pregunto si decidir la capacidad de decisión del problema es un problema decidible. Supongo que no, pero después de las búsquedas iniciales no puedo encontrar ninguna literatura sobre este problema.

13 computability  undecidability  decision-problem 

He leído en Wikipedia y algunos otros textos que El problema de detención es [...] decidible para autómatas lineales (LBA) [y] máquinas deterministas con memoria finita. Pero antes se escribe que el problema de detención es un problema indecidible y, por lo tanto, TM no puede resolverlo. Dado que LBA …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Estaba revisando la definición de Wikipedia de lenguaje sensible al contexto y encontré esto: Cada categoría de idiomas es un subconjunto apropiado de la categoría directamente encima de ella. Cualquier autómata y cualquier gramática en cada categoría tiene un autómata o gramática equivalente en la categoría directamente encima de ella. …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

¿Existen idiomas indecidibles tales que su lenguaje de unión / intersección / concatenado sea decidible? ¿Cuál es la interpretación física de tal ejemplo porque, en general, los lenguajes indecidibles no están cerrados bajo estas operaciones? ¿Qué podemos decir sobre el cierre de Kleene? ¿Tenemos ejemplos para ello también? Es decir, …

12 formal-languages  undecidability  closure-properties 

Estaba leyendo una respuesta a una pregunta reciente, y una especie de pensamiento extraño y efímero vino a mi mente. Si pregunto esto, podría traicionar que mis habilidades teóricas faltan seriamente (en su mayoría ciertas) o que es demasiado pronto para que yo lea este sitio. Ahora, con el descargo …

12 turing-machines  undecidability  halting-problem 

¿La existencia de problemas indecidibles implica inmediatamente la no previsibilidad de los sistemas físicos? Consideremos el problema de detención, primero construimos un UTM físico, digamos usando la construcción basada en circuito habitual. Entonces no puede haber una teoría física decidible que pueda determinar, dada la configuración de entrada de los …

11 computability  turing-machines  undecidability  physics 

Lo siento si esta pregunta tiene alguna respuesta trivial que me falta. Cada vez que estudio algún problema que se ha demostrado que es indecidible, observo que la prueba se basa en una reducción a otro problema que se ha demostrado que es indecidible. Entiendo que crea algún tipo de …

11 computability  reductions  undecidability