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.
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 …
À ma connaissance, il n'existe pas d' algorithme pire des cas qui résout le problème suivant:O( n )O(n)O(n) Étant donné une séquence de longueur composée d'entiers finis, trouvez la permutation où chaque élément est inférieur ou égal à son successeur.nnn Mais existe-t-il une preuve de son inexistence dans le modèle …
Il s'agit d'une suite d'une autre question ici , et j'espère que ce n'est pas trop philosophique. Comme Raphael l'a souligné dans un commentaire sur ma question précédente, je n'ai pas vraiment la définition de "calculable", mais selon certains articles que j'ai lus, la définition n'est pas vraiment claire quand …
J'aimerais citer Nielsen & Chuang, Quantum Computation and Quantum Information, édition du 10e anniversaire, page 5 (c'est moi qui souligne): Une classe de défis à la forte thèse de Church-Turing vient du domaine du calcul analogique. Au cours des années qui se sont écoulées depuis Turing, de nombreuses équipes différentes …
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 dans un modèle de calcul différent, …
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. …
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Computer Science Stack Exchange. Fermé il y a 3 ans . Les ordinateurs et les langages de programmation ont tendance à …
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 à états finis. Ils semblent …
Les machines de Turing ont un alphabet de symboles formel, une description basée sur les règles d'état et de transition de la façon dont un calcul est effectué. Le modèle d'acteur est parfois mentionné comme un modèle de calcul plus puissant que les machines de Turing (pas dans ce qu'il …
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.