Questions marquées «turing-machines»

Questions sur les machines de Turing, un modèle théorique de calcul mécanique capable de simuler n'importe quel programme informatique.

2
Les machines de Turing à bande unique avec entrée protégée en écriture reconnaissent uniquement les langues régulières
Voici le problème: Prouvez que les machines de Turing à bande unique qui ne peuvent pas écrire sur la partie de la bande contenant la chaîne d'entrée ne reconnaissent que les langues normales. Mon idée est de prouver que cette MT particulière est équivalente à un DFA. L'utilisation de cette …
1
Gödelization dans Turing Machine
Je regardais Gödelization dans le cours de théorie du calcul. Je pouvais comprendre les concepts de numérotation de Gödel, mais je ne pouvais pas comprendre son importance dans la théorie du calcul. Quelqu'un pourrait-il indiquer de bons documents ou souligner son importance?
4
Comment fonctionne une machine de Turing non déterministe?
Quelles sont les différences entre les machines de Turing déterministes et non déterministes? Modèles différents mais équivalents de NDTM. En particulier, quelle est cette expression fréquemment utilisée "devinez de façon non déterministe"? Comment l'utiliser correctement et exemples d'utilisation incorrecte. Mon objectif est de créer une question de référence.
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
Machine de Turing - ruban infini dans une ou deux directions
J'ai vu des machines de turing être représentées avec des bandes infinies dans une et dans deux directions. Y a-t-il une différence dans la puissance de ces machines de turing, ou sont-elles fondamentalement équivalentes? Dans ma tête, je pense qu'ils sont équivalents, car je suppose qu'il doit y avoir un …
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.