Preguntas etiquetadas con undecidability

A mitad de período había una variante de la siguiente pregunta: Para un decidible, defina Pref ( L ) = { x ∣ ∃ y st x y ∈ L } Muestre que Pref ( L ) no es necesariamente decidible.LLLPref ( L ) = { x ∣ ∃ y …

9 computability  undecidability 

Estoy tratando de encontrar una prueba de lo siguiente: Para cualquier idioma , existe un lenguaje de B tal que A ≤ T B pero B ≰ T A .AUNAABsiBA≤TBUNA≤TsiA \le_{\mathrm{T}} B≰TA≰TUNA\nleq_{\mathrm{T}} A Estaba pensando en dejar que sea A T M , pero me doy cuenta de que no …

9 computability  reductions  undecidability 

Considere los términos construidos a partir de elementos de y las operaciones y para cada número natural . Dada la promesa de que dos términos están bien formados, es decir, no hay división por cero y ni siquiera raíces de números negativos, ¿existe un algoritmo que decida cuándo los dos …

8 computability  undecidability  number-theory  equality 

¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de detención?

8 computability  reference-request  undecidability 

Quiero determinar si este problema de decisión es decidible. He intentado establecer reducciones de Alto y "Acepta cadena vacía", pero aún no he encontrado una solución. ¿Alguien me puede ayudar?

8 computability  turing-machines  undecidability 

Como he estudiado, decidir la regularidad de los lenguajes libres de contexto es indecidible. Sin embargo, podemos probar la regularidad utilizando el teorema de Myhill-Nerode que proporciona una condición necesaria y suficiente. Entonces el problema debería ser decidible. ¿Dónde está mi error?

8 formal-languages  computability  regular-languages  undecidability 

Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase particular de autómatas …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Si tiene un lenguaje L, sin hacer ninguna prueba, ¿hay alguna manera de saber si es reconocible, co-reconocible o decidible? Básicamente, cualquier pista o truco que se pueda usar para contar. ¿O tal vez los patrones comunes a buscar para saber de qué tipo es?

8 computability  undecidability  intuition 

Dado n∈Nn∈Nn \in \mathbb{N} y p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] se puede definir la siguiente fórmula en el lenguaje de la aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Me gustaría mostrar que hay infinitos triples (n,p,q)(n,p,q)(n,p,q) tal que ninguno φ(n,p,q)φ(n,p,q)\varphi(n,p,q) ni ¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) Es un …

8 computability  logic  undecidability 

Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónFff sobre un alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , …

8 formal-languages  computability  undecidability 

¿Cómo demuestro que el problema de decidir si un PDA acepta alguna cadena de la forma es indecidible?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} He tratado de reducir este problema a otro indecidible, como si dos gramáticas libres de contexto aceptan el mismo lenguaje. Sin embargo, no estoy …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Quisiera su ayuda para probar que el lenguaje es decidible iff .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Si , entiendo que es el lenguaje de las máquinas de Turing vacías. Entonces es un problema de , pero eso no es lo que se pregunta, así que me …

8 computability  undecidability  p-vs-np