Questions marquées «halting-problem»

Questions concernant le problème d'arrêt qui consiste à décider si un programme donné s'arrête sur une entrée donnée.

4
Définition du problème d'arrêt pour les automates non déterministes
La définition principale de la machine de Turing (TM), au moins dans mon propre manuel de référence (Hopcroft + Ullman 1979) est déterministe. Par conséquent, ma propre compréhension du problème de l' arrêt concerne principalement la MT déterministe, bien que je sache qu'il peut être envisagé pour d'autres types d'automates. …
3
Existe-t-il une MT qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable?
Existe-t-il une machine de Turing qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable pour une raison quelconque? Je me demande si cette question a été étudiée. Remarque: «non démontrable» pourrait signifier un système de preuve «limité» (qui au sens faible pense que la réponse doit être …
1
Y a-t-il des problèmes existants qui ne pourraient pas être résolus avec un oracle en arrêt?
Je comprends que la plupart des problèmes sont triviaux si un oracle d'arrêt est disponible (ou, je pense de manière équivalente, l'hyper-calcul). Cependant, appliquer l'argument qui montre que le problème d'arrêt est impossible pour une machine Turing montre également qu'il est impossible pour un oracle Turing + de décider du …
1
Le problème d'arrêt est-il décidable pour les automates cellulaires unidimensionnels à 3 symboles?
J'ai essayé de déterminer si le problème d'arrêt est décidable pour les automates cellulaires unidimensionnels à 3 symboles. Définition Soit f(w,i)f(w,i)f(w,i) la configuration du système au pas de temps . Plus formellement , où est l'alphabet.iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Définition. Un automate cellulaire s'est arrêté dans la configuration , si …
2
Arrêter le problème sans autoréférence
Dans le problème de l'arrêt, nous sommes intéressés s'il existe une machine Turing qui peut dire si une machine Turing donnée s'arrête ou non sur une entrée donnée . Habituellement, la preuve commence à supposer qu'un tel existe. Ensuite, nous considérons un cas où nous restreignons à lui-même, puis dérivons …
2
La constante de Chaitin est normale?
Selon cette source, la constante de Chaitin ΩΩ\Omega Est normal. Chaque probabilité d'arrêt est un nombre réel normal et transcendantal qui n'est pas calculable, ce qui signifie qu'il n'y a pas d'algorithme pour calculer ses chiffres. En effet, chaque probabilité d'arrêt est aléatoire de Martin-Löf, ce qui signifie qu'il n'y …
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.