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
Comment la complexité des algorithmes est-elle modélisée pour les langages fonctionnels?
La complexité de l'algorithme est conçue pour être indépendante des détails de niveau inférieur, mais elle est basée sur un modèle impératif, par exemple, l'accès au tableau et la modification d'un nœud dans une arborescence prennent un temps O (1). Ce n'est pas le cas dans les langages fonctionnels purs. …
7
Différences et relations entre les algorithmes randomisés et non déterministes?
Quelles sont les différences et les relations entre les algorithmes randomisés et les algorithmes non déterministes? De Wikipédia Un algorithme randomisé est un algorithme qui utilise un degré d'aléatoire dans le cadre de sa logique. L'algorithme utilise généralement des bits uniformément aléatoires comme entrée auxiliaire pour guider son comportement, dans …
4
Que voulait dire Turing en disant que «les machines ne peuvent pas donner lieu à des surprises» est dû à une erreur?
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. J'ai rencontré ci-dessous la déclaration d' Alan M. Turing ici : "L'opinion …
2
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
5
Le problème de l'arrêt pourrait-il être «résolu» en s'échappant vers une description de niveau supérieur du calcul?
J'ai récemment entendu une analogie intéressante qui déclare que la preuve de Turing de l'indécidabilité du problème d'arrêt est très similaire au paradoxe du barbier de Russell. Je me suis donc demandé: les mathématiciens ont finalement réussi à rendre la théorie des ensembles cohérente en passant de la formulation naïve …
1
Machines pour les langages hors contexte qui ne tirent aucun pouvoir supplémentaire du non-déterminisme
Lorsque l'on considère les modèles de calcul des machines, la hiérarchie de Chomsky est normalement caractérisée par (dans l'ordre), les automates finis, les automates déroulants, les automates liés linéaires et les machines de Turing. Pour le premier et le dernier niveau 1 (langages réguliers et langages récursivement énumérables), la puissance …
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.