Questions marquées «undecidability»

Questions sur des problèmes qui ne peuvent être résolus par aucune machine Turing.

2
Décidabilité de la langue du préfixe
À mi-parcours, il y avait une variante de la question suivante: Pour un décidable, définissez Montrez que n'est pas nécessairement décidable.Pref ( L ) = { x ∣ ∃ y st x y ∈ L } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y …
1
Le problème de l'univers pour les automates à guichet unique avec une taille d'alphabet restreinte est-il indécidable?
Considérez le problème d'univers suivant . Le problème de l'univers. Étant donné un ensemble fini pour une classe de langages, et un automate acceptant le langage L , décidez si L = \ Sigma ^ * .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dans [1], il est indiqué et prouvé que le problème de l'univers est …
1
Question liée au 10e problème de Hilbert
Donné n∈Nn∈Nn \in \mathbb{N} et p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] on peut définir la formule suivante dans le langage de l'arithmétique formelle φ(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)) Je voudrais montrer qu'il y a une infinité de triplets (n,p,q)(n,p,q)(n,p,q) de telle sorte que ni φ(n,p,q)φ(n,p,q)\varphi(n,p,q) ni …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.