Supposons que j'ai deux fonctions et et je souhaite déterminer siGFFFggG F( x ) = ∫G ( x ) dx .F(X)=∫g(X)réX.F(x) = \int G(x)dx. Supposons que mes fonctions soient composées de fonctions élémentaires (polynômes, exponentielles, logs et fonctions trigonométriques), mais pas, disons, série Taylor. Ce...
Cette question m'est venue à propos du problème d'arrêt et je n'ai pas pu trouver une bonne réponse en ligne, me demandant si quelqu'un pouvait m'aider. Est-il possible que le problème d'arrêt soit décidable pour n'importe quelle MT sur n'importe quelle entrée tant que l'entrée n'est pas la MT...
Sur ce site, il existe de nombreuses variantes sur la question de savoir si les MT peuvent décider du problème d'arrêt, que ce soit pour toutes les autres MT ou certains sous-ensembles. Cette question est quelque peu différente. Il demande si le fait que le problème d'arrêt s'applique à toutes les...
J'essaie de trouver une preuve pour les éléments suivants: Pour toute langue AAA , il existe un langage BBB tel que A≤TBA≤TBA \le_{\mathrm{T}} B , mais B ≰TA≰TA\nleq_{\mathrm{T}} A . Je pensais laisser BBB être ATMATMA_{\mathrm{TM}} , mais je me rends compte que toutes les langues ne sont pas...
Une déclaration du théorème de Rice est donnée à la page 35 de "Complexité computationnelle: une approche moderne" (Arora-Barak): Une fonction partielle de {0,1}∗{0,1}∗\{0,1\}^* à {0,1}∗{0,1}∗\{0,1\}^* est une fonction qui n'est pas nécessairement définie sur toutes ses entrées. On dit qu'un TM MMM...
À 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 \text{ s.t. } xy \in...
Je veux déterminer si ce problème de décision est décidable. J'ai essayé d'établir des réductions à partir de Halt et "Accepte une chaîne vide", mais je n'ai pas encore trouvé de solution. Est-ce que quelqu'un peut
Comme je l'ai étudié, décider de la régularité des langages sans contexte est indécidable. Cependant, nous pouvons tester la régularité en utilisant le théorème de Myhill – Nerode qui fournit une condition nécessaire et suffisante. Le problème devrait donc être décidable. Où est mon...
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...
Existe-t-il des problèmes dont la décidabilité est inconnue, mais il est certain que les problèmes sont moins difficiles que le problème
Si vous avez une langue L, sans faire de preuves, existe-t-il un moyen de savoir si elle est reconnaissable ou co-reconnaissable ou décidable? Fondamentalement, tous les conseils ou astuces qui peuvent être utilisés pour le dire. Ou peut-être les modèles communs à rechercher pour savoir de quel...
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...
Comment puis-je montrer que le problème de décider si un PDA accepte une chaîne du formulaire { w! w ∣ w ∈ { 0 , 1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} est indécidable? J'ai essayé de réduire ce problème à un autre indécidable, par exemple si deux grammaires sans contexte acceptent la...
J'essaie de m'enseigner la théorie de la calculabilité avec un manuel. Selon mon livre, une fonction sur un alphabet n'est calculable que si la langueFFfA = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , o , p ,
Considérez les termes construits à partir d'éléments de QQ\mathbb Q et les opérations + , × , - , /+,×,−,/+,\times,-,/, et ⋅--√n⋅n\sqrt[n]{\,\cdot\,} pour chaque nombre naturel nnn. Étant donné la promesse que deux termes sont bien formés - c'est-à-dire qu'il n'y a pas de division par zéro et même...
J'aimerais votre aide pour prouver que la langue est décidable ssi .L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P = N PP=NP\mathrm{P}=\mathrm{NP} Si , je comprends que c'est le langage des machines Turing vides....