Questions marquées «undecidability»

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

5
Existe-t-il des propriétés indécidables des automates non complets de Turing?
Existe-t-il des propriétés indécidables des automates linéaires bornés (en évitant l'astuce de la langue vide)? Et pour un automate fini déterministe? (mettre de côté l'intraçabilité). J'aimerais obtenir un exemple (si possible) d'un problème indécidable défini sans utiliser de machines Turing explicitement les . Turing l'exhaustivité d'un modèle est-il nécessaire pour …
3
problème indécidable et sa négation est indécidable
Beaucoup de problèmes indécidables «célèbres» sont néanmoins au moins semi-décidables, leur complément étant indécidable. Un exemple par-dessus tout peut être le problème de l'arrêt et son complément. Cependant, quelqu'un peut-il me donner un exemple dans lequel un problème et son complément sont indécidables et non semi-décidables? J'ai pensé au langage …
6
Des problèmes indécidables limitent les théories physiques
L'existence de problèmes indécidables implique-t-elle immédiatement la non-prévisibilité des systèmes physiques? Considérons le problème de l'arrêt, d'abord nous construisons un UTM physique, disons en utilisant la construction basée sur un circuit habituel. Il ne peut alors y avoir aucune théorie physique décidable qui puisse déterminer, compte tenu de n'importe quel …
1
Réductions des problèmes indécidables
Je suis désolé si cette question a une réponse triviale qui me manque. Chaque fois que j'étudie un problème qui s'est révélé indécidable, j'observe que la preuve repose sur une réduction à un autre problème qui s'est avéré indécidable. Je comprends que cela crée une sorte d'ordre sur le degré …
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.