Informatique théorique universal-computation

6

Quelle est la machine de Turing universelle à 2 états non controversée la plus simple?

Je veux encoder une simple machine de Turing dans les règles d'un jeu de cartes. Je voudrais en faire une machine de Turing universelle afin de prouver l'exhaustivité de Turing. Jusqu'à présent, j'ai créé un état de jeu qui code pour la machine de Turing à 2 états et 3 …

31 computability turing-machines universal-computation

3

Justification de log f dans le théorème de la hiérarchie DTIME

Si nous regardons le théorème de la hiérarchie DTIME, nous avons un journal en raison de la surcharge dans la simulation d'une machine de Turing déterministe par une machine universelle: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Nous n'avons pas ce genre de frais généraux pour NTIME de DSPACE. Une justification de base …

30 cc.complexity-theory universal-computation time-hierarchy

2

Ne pouvons-nous pas produire la complexité de Kolmogorov?

Fixons un codage sans préfixe des machines de Turing et une machine de Turing universelle qui en entrée (codée comme le code sans préfixe de suivi de ) sort quelles que soient sorties sur l'entrée (éventuellement les deux fonctionnant pour toujours). Définissez la complexité de Kolmogorov de , , comme …

28 cc.complexity-theory kolmogorov-complexity universal-computation universal-turing-machines

4

Existe-t-il un modèle de calcul non complet de Turing dont le problème d'arrêt est indécidable?

Je ne peux pas penser à un tel modèle, peut-être une forme de calcul lambda typé? un automate cellulaire élémentaire? Cela réfuterait presque le «principe d'équivalence informatique» de Wolfram: Presque tous les processus qui ne sont évidemment pas simples peuvent être considérés comme des calculs de sophistication équivalente

26 automata-theory computability turing-machines lambda-calculus universal-computation

6

Quels modèles de calcul peuvent être exprimés par des grammaires?

Il s'agit d'une reformulation des programmes de grammaires Are? précédent demandé par Vag et avec de nombreuses suggestions des commentateurs. De quelle manière une grammaire peut-elle être considérée comme spécifiant un modèle de calcul? Si, par exemple, nous prenons une grammaire simple sans contexte telle que G ::= '1' -> …

18 fl.formal-languages pl.programming-languages grammars universal-computation

2

Le plus petit combinateur universel possible

Je recherche le plus petit combinateur universel possible , mesuré par le nombre d'abstractions et d'applications nécessaires pour spécifier un tel combinateur dans le calcul lambda . Exemples de combinateurs universels: taille 23: λf.f (fS (KKKI)) K taille 18: λf.f (fS (KK)) K taille 14: λf.fKSK taille 12: λf.fS (λxyz.x) …

17 lo.logic computability lambda-calculus universal-computation combinatory-logic

3

Qu'est-ce qu'une architecture pratique non von Neumann?

Existe-t-il des applications pratiques pour les modèles de programmation autres que von Neumann? Quels sont les langages de programmation non von Neumann les plus largement adoptés?

16 universal-computation logic-programming

2

Dark Integers: calculs à usage général sur les routeurs Internet

Greg Egan dans sa fiction "Dark Integers" (histoire de deux univers avec deux mathématiques différentes communiquant au moyen de prouver des théorèmes autour de l'incohérence dans l'arithmétique) prétend qu'il est possible de construire un ordinateur à usage général uniquement sur des routeurs Internet existants en utilisant uniquement ses fonctionnalités de …

14 computability universal-computation

1

Fonction garantie à sens unique s'il existe des fonctions à sens unique?

Il existe une vieille astuce pour écrire un algorithme qui, si P = NP, résout SAT en temps polynomial. Essentiellement, on répertorie toutes les machines à temps polynomiales et les tâches multiples sur elles. Existe-t-il une astuce analogue pour les fonctions à sens unique (ou même les fonctions de trappe …

13 universal-computation one-way-function

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

2

Restreindre les entrées d'opérateurs unitaires aux nombres réels et aux ensembles de portes universelles

Dans l'article fondateur de Bernstein et Vazirani "Théorie de la complexité quantique", ils montrent qu'une transformation unitaire en dimensions peut être efficacement approchée par un produit de ce qu'ils appellent des "rotations quasi-triviales" et des "décalages de phases quasi-triviaux".ddd Les «rotations quasi triviales» sont des matrices unitaires dimensionnelles qui agissent …

10 quantum-computing linear-algebra universal-computation

2

Existe-t-il un nom officiel pour une notion d '«universellement réutilisable»?

Il existe plusieurs notions différentes (probablement inéquivalentes) d'universalité informatique (voir par exemple les deux dernières pages de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) et il n'y a pas de consensus entre des experts sur les notions les plus correctes (voir par exemple http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). J'essaie de dire quelque chose sur un modèle particulier de …

10 universal-computation

1

La complexité de Kolmogorov est-elle une fonction surjective?

Fixons un encodage des machines de Turing et une machine de Turing universelle, U, qui en entrée (T, x) sort quelles que soient les sorties T en entrée x (éventuellement les deux fonctionnant pour toujours). Définissez la complexité de Kolmogorov de x, K (x), comme la longueur du programme le …

9 cc.complexity-theory universal-computation kolmogorov-complexity universal-turing-machines

Questions marquées «universal-computation»