Je fais une présentation sur les machines Turing et je voulais donner quelques informations sur les FSM avant de présenter les machines Turing. Le problème est que je ne sais vraiment pas ce qui est TRÈS différent les uns des autres. Voici ce que je sais que c'est différent: FSM …
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 …
Récemment, dans ma classe CS, j'ai découvert la machine de Turing. Après le cours, j'ai passé plus de 2 heures à essayer de comprendre quelle est la relation entre une bande et une machine. J'ignorais complètement l'existence des bandes d'ordinateurs ou la façon dont les bandes et les machines interagissaient …
En considérant uniquement l'alphabet , les chaînes qui peuvent être données en entrée aux machines de Turing proviennent de l'ensemble . Mais est-il logique que l'entrée soit une chaîne binaire infinie? Par exemple, si une machine Turing accepte toutes les chaînes commençant par un 0, une chaîne binaire de zéros …
J'ai du mal à comprendre la preuve de l'indécidabilité du problème de l'arrêt. Si renvoie si le programme s'arrête ou non sur l'entrée , pourquoi devons-nous passer le code de pour et ?a b P a bH( a , b )H(a,b)H(a,b)uneaabbbPPPuneaabbb Pourquoi ne pouvons-nous pas alimenter avec et une entrée …
Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 6 ans . J'ai rencontré de nombreuses définitions de langages récursifs et récursivement énumérables. Mais je ne pouvais pas vraiment comprendre …
La logique constructiviste est un système qui supprime la loi du milieu exclu, ainsi que la double négation, en tant qu'axiomes. C'est décrit sur Wikipedia ici et ici . En particulier, le système ne permet pas de preuve par contradiction. Je me demande, quelqu'un sait-il comment cela affecte les résultats …
En classe la semaine dernière, mon professeur a commenté et dit que les machines de Turing sont utilisées comme mesure / modèle standard de ce qui est calculable et constituent une base de discussion utile pour ce sujet. Elle a également déclaré que toutes les variantes des machines Turing se …
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 …
Une machine de Turing qui revient à un état rencontré précédemment avec sa tête de lecture / écriture sur la même cellule de la même bande exacte sera prise en boucle. Une telle machine ne s'arrête pas. Quelqu'un peut-il donner un exemple d'une machine sans arrêt qui ne boucle pas?
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 …
Je cherche des exemples de problèmes qui ont une borne inférieure de Ω(|x|2Ω(|x|2\Omega(|x|^2 ) pour l'entrée xxx . Le problème doit avoir les propriétés suivantes: Ω(n2)Ω(n2)\Omega(n^2)Preuve d'exécution Ω ( n 2 ) pour tout algorithme - la première priorité est d'avoir un argument de limite inférieure aussi simple que possible. …
Selon cet article de Wikipedia , les grammaires illimitées sont équivalentes aux machines de Turing. L'article note que je peux convertir n'importe quelle machine Turing en une grammaire illimitée, mais il montre uniquement comment convertir une grammaire en machine Turing. Comment puis-je vraiment faire cela et convertir la machine Turing …
Une machine de Turing sans capacité d'écriture sur des cellules vierges est-elle moins puissante que la Turing standard? Je pense que la réponse est oui mais je ne suis pas en mesure de trouver un calcul qu'une machine standard de Turing peut faire mais cette machine ne le peut pas. …
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. …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.