Informatique théorique turing-machines

2

Une langue totale que seule une langue complète de Turing peut interpréter

Toute langue qui n'est pas complète de Turing ne peut pas écrire elle-même un interprète. Je n'ai aucune idée de l'endroit où je l'ai lu, mais je l'ai vu utilisé à plusieurs reprises. Il semble que cela donne lieu à une sorte de langage complet «ultime» non Turing; celui (s) …

16 computability turing-machines

2

(Comment) Pourrions-nous découvrir / analyser des problèmes NP en l'absence du modèle de calcul de Turing?

D'un point de vue purement abstrait de raisonnement mathématique / informatique, (comment) pourrait-on même découvrir ou raisonner sur des problèmes comme 3-SAT, Subset Sum, Travelling Salesman, etc.? Serions - nous encore en mesure de raisonner sur eux de quelque façon significative avec juste la fonction point de vue? Serait-ce même …

15 soft-question lambda-calculus turing-machines functional-programming np

3

Peut-on déterminer si la langue L se situe dans NP?

Étant donné un langage L défini par une machine de Turing qui le décide, est-il possible de déterminer algorithmiquement si L se situe dans NP?

15 cc.complexity-theory computability turing-machines

1

Calcul de la longueur d'entrée sur une machine de Turing à une bande

À propos de cette question, je me suis demandé: quelle est la complexité temporelle pour une machine de Turing à une seule bande et à une seule tête pour calculer la longueur de son entrée? Pour être précis, disons que l'alphabet de la bande est {0,1,b}{0,1,b}\{0,1,b\} , l'entrée est une …

13 turing-machines

2

Émulation Oblivious Turing Machine borne inférieure

Existe-t-il une preuve que l'émulation d'une machine de Turing sur une machine de Turing inconsciente ne peut pas être effectuée en moins deO(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right) where mmm is the number of steps the Turing machine uses? Or is this just an upper bound? In the paper of Paul Vitányi about relativized …

13 cc.complexity-theory turing-machines

1

Circuits avec oracles vs Machines de Turing avec oracles

En termes simples: quelle est la correspondance entre les machines de Turing avec oracles et les familles de circuits uniformes avec oracles? Comment ces derniers sont-ils définis afin d'obtenir le même modèle de calcul, pour une machine Oracle Turing donnée? Cela peut être une question élémentaire, mais il n'est pas …

13 cc.complexity-theory turing-machines oracles circuit-families

1

À quel point un détecteur d'arrêt peut-il être bon?

Existe-t-il une machine de Turing qui peut décider si presque toutes les autres machines de Turing s'arrêtent? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. Quelles caractérisations de la valeur minimale …

12 turing-machines halting-problem

1

Compression des informations sur le problème d'arrêt des machines Oracle Turing

Il est bien connu que le problème d'arrêt n'est pas calculable. Cependant, il est possible de "compresser" exponentiellement des informations sur le problème d'arrêt, de sorte que sa décompression soit calculable. Plus précisément, il est possible de calculer à partir d'une description de machines de Turing et d'un conseil à …

12 computability lower-bounds turing-machines communication-complexity oracles

1

Hiérarchies temporelles dans DSPACE (O (s (n)))

Le théorème de la hiérarchie temporelle stipule que les machines de turing peuvent résoudre plus de problèmes si elles ont (assez) plus de temps. Tient-il d'une manière ou d'une autre si l'espace est limité asymptotiquement? Comment liéDTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) au DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} pousse assez vite? Je m'intéresse particulièrement au …

12 cc.complexity-theory complexity-classes turing-machines space-bounded time-hierarchy

2

Recherche d'une source de documentation pour l'idée suivante

Je suis certain que je ne suis pas le premier à entretenir l'idée que je vais présenter. Cependant, il serait utile que je puisse trouver de la documentation liée à l'idée. L'idée est de construire une machine de Turing M avec la propriété que si P = NP alors M …

12 reference-request turing-machines p-vs-np

1

Est ?

Définissez comme la classe de langues pouvant être acceptée par une machine de Turing (multitape) dans le temps . (Le " " est juste pour simplifier la notation et éviter toute confusion.) Notez qu'il n'y a pas de autour de .f ( n ) + 1 + 1 O ( …

12 cc.complexity-theory time-complexity turing-machines time-hierarchy

3

Existe-t-il des preuves non constructives de l'existence de «petites» machines de Turing / NFA?

Après avoir lu une question connexe , sur les preuves d'existence d'algorithmes non constructives, je me demandais s'il existe des méthodes pour montrer l'existence de "petites" machines de calcul (disons, par état) sans les construire. Officiellement: supposons qu'on nous donne un langage et fixons un modèle de calcul (NFAs / …

11 cc.complexity-theory automata-theory turing-machines

6

Un petit langage de type C que les machines de turing peuvent simuler

Je recherche un petit langage qui aide à «convaincre» les étudiants que les machines de turing sont un modèle informatique suffisamment général. Autrement dit, un langage qui ressemble aux langues auxquelles ils sont habitués, mais qui est également facile à simuler sur une machine de turing. Papadimitriou utilise des machines …

11 turing-machines

3

P contient-il des langages incompréhensibles? (Wiki de la communauté TCS)

Réponse: inconnue Un grand merci à tous ceux qui ont contribué à affiner cette question et les définitions qui y sont associées. Les définitions de ce wiki ont fourni le point de départ du plus récent wiki TCS " P contient-il des langues dont l'existence est indépendante de PA ou …

11 cc.complexity-theory complexity-classes turing-machines decidability

1

L'élève d'Alan Turing, Robin Gandy, a-t-il affirmé que Charles Babbage n'avait aucune notion d'une machine informatique universelle?

Robin Gandy était un étudiant d' Alan Turing . Gandy a fait une analyse du moteur analytique de Babbage (voir 'Gandy - The Confluence of Ideas in 1936' cité dans 'Herken, Rolf - The Universal Turing Machine - A Half-Century Survey . Springer Verlag') - et l'a dit (cf. p. …

10 turing-machines universal-computation charles-babbage

Questions marquées «turing-machines»