Questions marquées «turing-machines»

Questions sur les machines de Turing, un modèle théorique de calcul mécanique capable de simuler n'importe quel programme informatique.

1
Le non-déterminisme dans une machine de turing non déterministe est-il différent de celui des automates finis et des automates push down?
Soit une chaîne d'entrée donnée comme . Ensuite, si un NFA est actuellement dans l'état (et a lu l'entrée jusqu'à l'alphabet ), puis avant de lire le symbole d'entrée suivant, le NFA se divise en deux NFA, l'un étant dans l'état r et l'autre dans s , s'il y a …
2
Les fonctions booléennes sont-elles complètes
Une fonction booléenne est une fonction f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} . La base booléenne (∨,∧)(∨,∧)(\vee,\wedge) est connue pour être complète de Turing car elle permet à toute séquence d'être retournée ou de rester inchangée. On peut en dire autant des portes .X O Rs∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} En ce sens, nous pouvons commencer par une configuration …
2
Une variante de la fonction castor occupé
En lisant cette question « Problèmes naturels indécidables RE mais pas Turing-complete », le langage suivant m'est venu à l'esprit: Si est la fonction de castor occupé (score maximum atteignable parmi toutes les machines de Turing à 2 symboles à arrêt n du type décrit ci-dessus, lorsqu'elles sont démarrées sur …
2
Machine de Turing alphabet infini
Une machine de Turing autorisée à lire et à écrire des symboles d'un alphabet infini est-elle plus puissante qu'une MT régulière (c'est la seule différence, la machine a toujours un nombre fini d'états)? L'intuition me dit que non, car il faut un nombre infini d'états pour différencier chaque symbole. Je …
1
La preuve que
Je voudrais utiliser votre aide pour le problème suivant: . Vérifier que L ∉ R E ∪ C o R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Je sais que pour prouver , il suffit de trouver un langage L ′ …
1
Existe-t-il un algorithme d'optimisation de la complexité spatio-temporelle des algorithmes?
Dans les années 1950, un certain nombre de méthodes de minimisation des circuits pour les fonctions booléennes ont été inventées. Existe-t-il une extension de ces méthodes ou quelque chose de similaire pour optimiser la complexité temporelle ou spatiale des algorithmes? Par exemple, une implémentation du tri à bulles en entrée …
2
Cet article implique-t-il que Turing-Computability n'est pas la même chose que «effectivement calculable»?
Tout d'abord, je m'excuse si cela a été demandé, mais je n'ai vraiment rien trouvé. Je suis tombé sur cet article . Il indique qu'il existe un problème que seuls les ordinateurs quantiques peuvent résoudre. À ma connaissance, cela devrait signifier, intuitivement, que ce problème est "effectivement calculable", car nous …
1
J'ai construit un ordinateur mécanique alimenté par des billes. Quelles sont ses limites théoriques?
Au cours des deux dernières années, j'ai construit un ordinateur mécanique alimenté par des billes et en ai fait un jeu. Il est similaire à l'ancien Digi-Comp II, à l'exception de deux différences clés: Les pièces sont repositionnables sur la carte. Vous pouvez connecter plusieurs «bits» ensemble à l'aide d'engrenages. …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.