Questions liées à la théorie de la calculabilité, alias théorie de la récursivité
Je ne comprends pas pourquoi le problème de l' arrêt est si souvent utilisé pour écarter la possibilité de déterminer si un programme est interrompu. Le [article] [1] de Wikipedia explique correctement qu'une machine déterministe à mémoire finie arrêtera ou répétera un état antérieur. Vous pouvez...
On nous a donné l'exercice suivant. Laisser F( n ) = { 100n se produit dans la représentation décimale de πautref(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 &...
Nous savons que le problème d’arrêt (sur les machines de Turing) est indécidable pour les machines de Turing. Y a-t-il des recherches sur la capacité de l'esprit humain à gérer ce problème, éventuellement avec l' aide de Turing Machines ou d'ordinateurs à usage général? Note : Évidemment, dans le...
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...
La correspondance de modèle d'ordre élevé est un problème indécidable. Cela signifie qu’il n’existe aucun algorithme qui, étant donné une équation a => b, où aet bsont des termes ouverts sur le calcul lambda simplement typé, trouve une substitution Stelle que aS => bS, où =>signifie «a la...
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'ai vu partout débordement de pile, par exemple ici , ici , ici , ici , ici et quelques autres que je me fiche de mentionner, que "tout programme qui utilise la récursion peut être converti en un programme utilisant uniquement l'itération". Il y avait même un fil de discussion très élevé avec une...
Dans cette réponse, il est mentionné Un langage régulier peut être reconnu par un automate fini. Un langage sans contexte nécessite une pile et un langage sensible au contexte nécessite deux piles (ce qui revient à dire qu'il nécessite une machine Turing complète) . Je voulais savoir en ce qui...
Dans la théorie de la calculabilité et de la complexité (et peut-être dans d'autres domaines), les réductions sont omniprésentes. Il en existe de nombreuses sortes, mais le principe reste le même: montrez qu'un problème est au moins aussi complexe qu'un autre problème en mappant des instances de à...
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...
Existe-t-il des machines théoriques dépassant les capacités des machines de Turing dans au moins certaines
Résumé: Selon le théorème de Rice, tout est impossible. Et pourtant, je fais ce truc soi-disant impossible tout le temps! Bien entendu, le théorème de Rice ne dit pas simplement "tout est impossible". Il dit quelque chose d'assez plus spécifique: "Chaque propriété d'un programme informatique est...
Je sais qu'Idris a des types dépendants mais n'est pas complet. Que peut-il ne pas faire en abandonnant la complétude de Turing, et est-ce lié à avoir des types dépendants? Je suppose que cette question est assez spécifique, mais je ne connais pas énormément les types dépendants et les systèmes de...
Voyant que, dans la hiérarchie de Chomsky, les langues de type 3 peuvent être reconnues par une machine à états dépourvue de mémoire externe (c'est-à-dire un automate fini), le type 2 par une machine à états à pile unique (un automate à pile) et le type 0 par une machine d'état à deux piles (ou, de...
Ce programme de 579 bits dans le calcul binaire Lambda a un état d'arrêt inconnu: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100
Je prévois d'enseigner un cours d'hiver sur un nombre variable de sujets, dont l'un sera les compilateurs. Maintenant, je suis tombé sur ce problème en pensant aux affectations à donner tout au long du trimestre, mais cela m'a déconcerté, je pourrais donc l'utiliser à titre d'exemple. public class...
Existe-t-il des calculs lambda typés complets de Turing? Si oui, quels sont quelques
Je me demande s'il existe un bon exemple pour un problème NP-difficile facile à comprendre qui n'est pas NP-complet et non indécidable? Par exemple, le problème d'arrêt est NP-Hard, pas NP-Complete, mais il est indécidable. Je crois que cela signifie que c'est un problème pour lequel une solution...
Je passais par la discussion sur la question Comment définir les machines de Turing quantiques? et je sens que TM quantique et TM non déterministe sont une seule et même chose. Les réponses à l'autre question ne touchent pas à cela. Ces deux modèles sont-ils identiques? Sinon, Quelles sont les...
Le théorème de Rice nous dit que les seules propriétés sémantiques des machines de Turing (ie les propriétés de la fonction calculées par la machine) que nous pouvons décider sont les deux propriétés triviales (ie toujours vrai et toujours faux). Mais il existe d'autres propriétés des machines de...