Il me semble me rappeler dans une classe de premier cycle que pour une machine de Turing avec une bande finie, il existera toujours un automate d'état fini correspondant, mais je n'ai pu le trouver confirmé nulle part sur Internet. Est-ce vraiment le cas ou est-ce que je me souviens...
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...
Dans une question précédente Qu'est-ce qu'un algorithme exactement? , J'ai demandé si avoir un "algorithme" qui renvoie la valeur d'une fonction basée sur un tableau de valeurs précalculées était un algorithme. L'une des réponses qui a retenu mon attention est celle-ci: L'exemple factoriel entre...
J'ai un petit problème pour comprendre la preuve du théorème de la hiérarchie temporelle (Hennie et Stearns, 1966) qui garantit l'existence d'un langage acceptable en mais non acceptable en pour toutes les fonctions , tel que est constructible dans le temps etU( n )U(n)U(n)T(n )T(n)T(n)T( n) , U( n...
Nous venons de terminer notre leçon "Constructibilité du temps" en classe la semaine dernière, et nous avons, par exemple, montré que nk,2nnk,2nn^k, 2^n sont entièrement constructibles dans le temps, c'est-à-dire qu'il existe une machine de Turing (déterministe multi-bandes) nnn donné, s'arrête...
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...
Par exemple, nous pouvons dire que nous avons un programme abstrait qui, étant donné une chaîne binaire finie en entrée, supprime tous les zéros (c'est-à-dire que 0010001101011 est évalué à 111111), ce qui est certainement une fonction calculable par Turing. Comment un système de balises cycliques...
J'essaie de relier les circuits logiques multinationaux (ordinateurs basés uniquement sur des portes logiques) avec tout ce que j'ai appris récemment dans la théorie du calcul. Je me demandais si les circuits logiques combinatoires peuvent implémenter des calculs de la même manière que les machines...
Soit un ensemble non trivial de langages récursivement énumérables ( ) et soit L l'ensemble des encodages des machines Turing qui reconnaissent un langage en C : L = \ {\ langle M \ rangle \ mid L (M) \ in C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq
Notre PC fonctionne-t-il comme machine de Turing? Le modèle d'une machine de Turing se compose d'une bande mémoire infinie, ce qui signifie des états infinis. Mais supposons que si notre PC a 128 Mo de mémoire et 30 Go de disque, il aurait 256 ^ 30128000000 états et donc, il a des états finis. Je...
Je veux déterminer si ce problème de décision est décidable. J'ai essayé d'établir des réductions à partir de Halt et "Accepte une chaîne vide", mais je n'ai pas encore trouvé de solution. Est-ce que quelqu'un peut
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 à...
J'essaie d'attaquer TAOCP une fois de plus, étant donné la lourdeur littérale des volumes que j'ai du mal à m'y engager sérieusement. Dans TAOCP 1, Knuth écrit, page 8, les concepts de base: Soit un ensemble fini de lettres. Soit l'ensemble de toutes les chaînes de (l'ensemble de toutes les...