Existe-t-il un ensemble de constructions de langage de programmation dans un langage de programmation afin que celui-ci soit considéré comme Turing Complete? D'après ce que je peux dire sur wikipedia , la langue doit prendre en charge la récursion ou, apparemment, doit pouvoir fonctionner sans...
J'ai rencontré un problème étrange lors de l'écriture d'un interpréteur qui (devrait) être raccordé à des programmes / fonctions externes: les fonctions en 'C' et 'C ++' ne peuvent pas accrocher les fonctions variadiques , par exemple, je ne peux pas créer de fonction qui appelle 'printf' avec...
J'essayais d'expliquer à quelqu'un que C est Turing-complet et je me suis rendu compte que je ne savais pas si c'était techniquement Turing-complet. (C comme dans la sémantique abstraite, pas comme dans une implémentation réelle.) La réponse "évidente" (en gros: elle peut traiter une quantité de...
Je vois que la plupart des définitions de ce que signifie être Turing-complet sont, dans une certaine mesure, tautologiques. Par exemple, si vous Google "que signifie Turing Complete", vous obtenez: Un ordinateur est complet à Turing s'il peut résoudre tout problème qu'une machine de Turing peut...
Je lisais sur Iota et Jot et j'ai trouvé cette section déroutante: Contrairement à Iota, où l'arbre syntaxique d'une chaîne peut se ramifier à gauche ou à droite, la syntaxe Jot est uniformément ramifiée à gauche. Par conséquent, Iota est strictement sans contexte, mais Jot est un langage régulier....
Notez, bien que je sache programmer, je suis tout à fait un débutant en théorie CS. Selon cette réponse La complétude de Turing est un concept abstrait de calculabilité. Si un langage est Turing complet, il est capable de faire n'importe quel calcul que n'importe quel autre langage complet de...
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,...
Je sais que, dans les langages de programmation impératifs, une boucle while-do est suffisante comme construction de flux de contrôle pour rendre le langage Turing complet (en ce qui concerne le flux de contrôle - bien sûr, nous avons également besoin d'une mémoire illimitée et de certains...
Concernant la porte quantique de Toffoli : est-ce universellement classique , et si oui, pourquoi? est-ce quantiquement universel, et pourquoi?
J'ai lu la page wikipedia de la règle 110 dans les automates cellulaires, et je sais plus ou moins comment ils fonctionnent (un ensemble de règles décide où tracer le prochain 1 ou 0). Je viens de lire qu'ils sont complets de Turing, mais je ne peux même pas comprendre comment «programmez-vous» la...
Quelles opérations doivent être effectuées pour effectuer un calcul analogique arbitraire ? L'addition, la soustraction, la multiplication et la division seraient-elles suffisantes? De plus, quelqu'un sait-il exactement quels problèmes peuvent être traités avec le calcul analogique, mais pas avec...
Je sais qu'il peut être prouvé que PROLOG est Turing-complete en construisant un programme qui simule une machine de Turing comme ceci: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :-...
Des langues telles que sont RE-complètes sous plusieurs réductions. Il est trivial de voir que co-RE a aussi des problèmes complets. S. Schmitz [1] considère certaines classes entre ELEM et REC . Ils présentent des problèmes complets pour ces classes dans le cadre de réductions spécialement...
Je sais que les portes NAND peuvent être utilisées pour créer des circuits qui implémentent chaque table de vérité, et les ordinateurs modernes sont constitués de portes NAND. Quel est le lien théorique entre les portes NAND et l'exhaustivité de Turing? Il me semble que les circuits de porte NAND...
J'ai posé une question similaire sur cstheory.SE . Selon cette réponse sur Stackoverflow, il existe un algorithme qui, sur un langage de programmation fonctionnel pur non paresseux, a une complexité , tandis que le même algorithme en programmation impérative est Ω ( n ) . Ajouter la paresse au...
Un commentaire sur tex.SE m'a fait réfléchir . La déclaration est essentiellement: Si je peux écrire un compilateur pour la langue X dans la langue X, alors X est Turing-complete. En termes de calcul et de langage formel, c'est: Si décide et , alors .L ⊆ L T M ⟨ M ⟩ ∈ L F L = R EMMML⊆LTML⊆LTML...
Brainfuck est un langage de programmation complet de Turing qui n'utilise que 8 symboles (6 si vous ignorez les E / S). Les deux plus notables qui l'ont poussé à l'exhaustivité de Turing sont [et ], essentiellement, le label et goto de Brainfuck. Normalement, les programmes de Brainfuck utilisent...
Si nous avons un programme informatique arbitraire qui peut modifier ses instructions, est-il possible de simuler ce programme avec un programme qui ne peut pas modifier ses instructions? Éditer: Je suis nouveau sur stackexchange, donc je ne sais pas si je suis autorisé à poser une NOUVELLE...
J'ai vu des sites Web qui prétendent «prouver» que HTML5 + CSS est Turing Complete. J'ai vu des sites Web qui prétendent «prouver» que SQL est Turing Complete. J'ai vu un tas de sites Web qui prétendent «expliquer» ce que signifie être Turing Complete. Assez! Où puis-je trouver un livre (écrit par...
J'essaie de trouver les réponses à deux questions sur la machine Universal Turing. Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui est simulée a un plus grand nombre d'états? Comment la machine Universal Turing peut-elle simuler une machine Turing si celle qui...