L'informatique turing-machines

1

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

3

Pourquoi ne pouvons-nous pas inverser la réponse d'un NDTM efficacement?

J'ai lu plusieurs fois qu'il n'est pas possible de retourner la réponse d'un NDTM efficacement. Cependant, je ne comprends pas pourquoi. Par exemple, étant donné un MTND qui fonctionne en O ( n ) , ce texte (section 3.3) indique qu'il ne sait pas comment une autre MTND T peut …

11 complexity-theory turing-machines

1

Comment une machine universelle de Turing peut-elle simuler des «plus grandes» machines?

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 est simulée a …

10 computability turing-machines simulation turing-completeness

1

Que signifie l'espace sublinéaire pour les machines Turing?

Il a été prouvé que le problème de décider si une entrée est un palindrome ou non nécessite un espace sur une machine de Turing. Cependant, même le stockage de l'entrée prend de l'espace cela ne signifie-t-il pas que toutes les machines Turing nécessitent de l'espace ?Ω ( logn )Ω(Journal⁡n)\Omega(\log …

10 turing-machines space-complexity

2

Clair, complet, preuve qu'une langue est Turing Compete?

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 …

10 computability turing-machines automata turing-completeness church-turing-thesis

3

Langues décidables et grammaires illimitées?

Les machines de Turing et les grammaires illimitées sont deux formalismes différents qui définissent les langages RE. Certaines langues RE sont décidables, mais pas toutes. Nous pouvons définir les langues décidables avec les machines de Turing en disant qu'une langue est décidable si il y a une MT pour la …

10 computability turing-machines formal-grammars

1

Quelle est la différence entre l'arrêt, l'acceptation et la décision dans le contexte des machines Turing?

Accepter signifie-t-il que le TM lira et reconnaîtra un caractère de la cellule dans laquelle il lit actuellement? Et est-ce le cas qu'un TM s'arrête si l'entrée est décidable?

10 terminology turing-machines undecidability

1

Démontrer qu'une fonction booléenne calculable en T (n) par une machine RAM est en DTIME (T (n) ^ 2)

La question est l'exercice 1.9 du livre d'Arora-Barak Computational Complexity - A Modern Approach : Définissez une machine RAM Turing comme une machine Turing disposant d'une mémoire à accès aléatoire. Nous formalisons ceci comme suit: La machine a un tableau infini A qui est initialisé à tous les blancs. Il …

10 complexity-theory turing-machines machine-models simulation

1

Turing reconnaissable => énumérable

J'obtiens la preuve de passer d'un énumérateur à une machine de Turing (continuez à exécuter l'énumérateur et voyez si cela correspond à l'entrée) mais je ne vois pas comment fonctionne l'autre sens. Selon mes notes et le livre (Intro to the Theory of Computation - Sipser), pour obtenir l'énumérateur Turing …

10 computability turing-machines intuition

3

La complexité spatiale de la reconnaissance des palindromes Watson-Crick

J'ai le problème algorithmique suivant: Déterminer l'espace Turing complexité de reconnaître les chaînes d'ADN qui sont des palindromes Watson-Crick. Les palindromes Watson-Crick sont des chaînes dont le complément inversé est la chaîne d'origine. Le complément est défini par lettre, inspiré de l'ADN: A est le complément de T et C …

10 algorithms algorithm-analysis turing-machines space-complexity

2

Une question relative à une machine de Turing avec un état inutile

OK, voici donc une question d'un test passé dans ma classe de théorie du calcul: Un état inutile dans une MT est celui qui n'est jamais entré dans une chaîne d'entrée. Laissez Prouver que U S E L E S S T M est indécidable.U S E L E S …

10 computability undecidability formal-methods turing-machines

1

Quelle est la différence entre RAM et TM?

Dans l'analyse d'algorithmes, nous supposons une machine d'accès aléatoire (RAM) à un processeur générique. Pour autant que je sache, la machine RAM n'est pas plus efficace que la machine Turing. Tous les algorithmes peuvent être implémentés dans la machine de Turing. Mes questions sont donc: Si la machine Turing est …

10 turing-machines computation-models

4

Une machine de Turing (TM) peut-elle décider si le problème d'arrêt s'applique à toutes les MT?

Sur ce site, il existe de nombreuses variantes sur la question de savoir si les MT peuvent décider du problème d'arrêt, que ce soit pour toutes les autres MT ou certains sous-ensembles. Cette question est quelque peu différente. Il demande si le fait que le problème d'arrêt s'applique à toutes …

9 computability turing-machines undecidability halting-problem

4

Le problème de l'arrêt limité est décidable. Pourquoi ce conflit n'est-il pas avec le théorème de Rice?

Une déclaration du théorème de Rice est donnée à la page 35 de "Complexité computationnelle: une approche moderne" (Arora-Barak): Une fonction partielle de {0,1}∗{0,1}∗\{0,1\}^* à {0,1}∗{0,1}∗\{0,1\}^* est une fonction qui n'est pas nécessairement définie sur toutes ses entrées. On dit qu'un TM MMM calcule une fonction partielle fff si pour …

9 computability turing-machines undecidability rice-theorem

2

Comment prouver que la 3-coloration est décidable?

Pour prouver que la 3-coloration est décidable, suffit-il de dire: Chaque nœud du graphique a 3 couleurs possibles Par conséquent, nous pouvons énumérer les possibilités, puis vérifier qu'il n'y a pas deux arêtes reliant les nœuds de la même couleur3n3n3^n Cela prouve-t-il que la coloration 3 est décidable? Ou dois-je …

9 computability turing-machines colorings

Questions marquées «turing-machines»