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.


5
Importance pratique des machines de Turing?
Je suis ingénieur électricien et je n'avais qu'un seul cours CS au collège il y a 26 ans. Cependant, je suis également un utilisateur dévoué de Mathematica. J'ai le sentiment que les machines de Turing sont très importantes en informatique. L'importance n'est-elle que dans la théorie de l'informatique? S'il y …







5
Pourquoi les langages fonctionnels Turing sont-ils complets?
Peut-être que ma compréhension limitée du sujet est incorrecte, mais c'est ce que je comprends jusqu'à présent: La programmation fonctionnelle est basée sur Lambda Calculus, formulée par Alonzo Church. La programmation impérative est basée sur le modèle de machine Turing, fabriqué par Alan Turing, étudiant de Church. Le calcul lambda …


5
Le problème de l'arrêt pourrait-il être «résolu» en s'échappant vers une description de niveau supérieur du calcul?
J'ai récemment entendu une analogie intéressante qui déclare que la preuve de Turing de l'indécidabilité du problème d'arrêt est très similaire au paradoxe du barbier de Russell. Je me suis donc demandé: les mathématiciens ont finalement réussi à rendre la théorie des ensembles cohérente en passant de la formulation naïve …




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. …

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.