Questions marquées «computation-models»

La définition de l'ensemble des opérations admissibles utilisées pour le calcul et leurs coûts respectifs. Quelques exemples de modèles incluent les machines de Turing, les fonctions récursives, le calcul lambda et les systèmes de production.

3
Chaque algorithme auto-modifiable peut-il être modélisé par un algorithme non auto-modifiable?
Si nous avons un programme informatique arbitraire qui peut modifier ses instructions, est-il possible de simuler ce programme avec un programme qui ne peut pas modifier ses instructions? Éditer: Je suis nouveau sur stackexchange, donc je ne sais pas si je suis autorisé à poser une NOUVELLE question ici, mais …
2
Pourquoi les machines de Turing à limites linéaires sont-elles plus puissantes que les automates à états finis?
J'avais l'impression que nos ordinateurs, étant finis, ne sont finalement pas plus puissants que les machines à états finis (extraordinairement grandes). Cependant, les machines de Turing linéairement délimitées sont également finies, mais il semble que les langues régulières soient strictement un sous-ensemble incorrect de langues contextuelles. De toute évidence, il …
3
Notions de calcul efficace
Un algorithme de machine de Turing à temps polynomial est considéré comme efficace si son temps d'exécution, dans le pire des cas, est limité par une fonction polynomiale dans la taille d'entrée. Je connais la forte thèse de Church-Turing: Tout modèle raisonnable de calcul peut être simulé efficacement sur les …
1
Analyse de complexité d'algorithmes sur les implémentations de langages de programmation fonctionnels
J'ai appris aujourd'hui que l'analyse d'algorithme diffère en fonction du modèle de calcul. C'est quelque chose auquel je n'ai jamais pensé ni entendu parler. Un exemple qui m'a été donné, qui l'a illustré davantage, par l'utilisateur @chi était: Par exemple, considérons la tâche: étant donné retournent . En RAM, cela …
3
Calculs infinis en temps fini
C'est probablement une idée stupide, mais supposons que nous ayons un ordinateur programmé pour effectuer une séquence infinie de calculs et supposons que le calcul prenne secondes pour terminer. Cet ordinateur peut alors effectuer un nombre infini de calculs en un temps limité.jeeithi^\text{th}1 / 2je1/2i1/2^i Pourquoi est-ce impossible? Y a-t-il …
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 …
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.