Questions marquées «computability»

Questions liées à la théorie de la calculabilité, alias théorie de la récursivité

3
Comment peut-on décider si a une séquence de chiffres?
On nous a donné l'exercice suivant. Laisser F( n ) = { 100n se produit dans la représentation décimale de πautref(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Prouver que …
5
Existe-t-il une relation concrète entre le théorème d'inachèvement de Gödel, le problème stoppant et les machines de Turing universelles?
J'ai toujours pensé vaguement que la réponse à la question ci-dessus était affirmative dans les termes suivants. Le théorème d'inachèvement de Gödel et le caractère indécidable du problème qui pose problème, qui sont tous deux des résultats négatifs sur la décidabilité et établis par des arguments diagonaux (et dans les …
10
Puissance informatique humaine: Les humains peuvent-ils décider du problème qui s’arrête sur Turing Machines?
Nous savons que le problème d’arrêt (sur les machines de Turing) est indécidable pour les machines de Turing. Y a-t-il des recherches sur la capacité de l'esprit humain à gérer ce problème, éventuellement avec l' aide de Turing Machines ou d'ordinateurs à usage général? Note : Évidemment, dans le sens …
6
Existe-t-il des critères minimums pour qu'un langage de programmation soit complet?
Existe-t-il un ensemble de constructions de langage de programmation dans un langage de programmation afin que celui-ci soit considéré comme Turing Complete? D'après ce que je peux dire sur wikipedia , la langue doit prendre en charge la récursion ou, apparemment, doit pouvoir fonctionner sans interruption. Est-ce tout ce qu'il …
9
Pourquoi certains langages de programmation sont-ils complets mais manquent-ils de capacités d'autres langages?
J'ai rencontré un problème étrange lors de l'écriture d'un interpréteur qui (devrait) être raccordé à des programmes / fonctions externes: les fonctions en 'C' et 'C ++' ne peuvent pas accrocher les fonctions variadiques , par exemple, je ne peux pas créer de fonction qui appelle 'printf' avec exactement les …
5
L'itération peut remplacer la récursivité?
J'ai vu partout débordement de pile, par exemple ici , ici , ici , ici , ici et quelques autres que je me fiche de mentionner, que "tout programme qui utilise la récursion peut être converti en un programme utilisant uniquement l'itération". Il y avait même un fil de discussion …
4
Quelles sont les techniques courantes pour réduire les problèmes les uns aux autres?
Dans la théorie de la calculabilité et de la complexité (et peut-être dans d'autres domaines), les réductions sont omniprésentes. Il en existe de nombreuses sortes, mais le principe reste le même: montrez qu'un problème est au moins aussi complexe qu'un autre problème en mappant des instances de à des solutions …
9
Est-ce que C est vraiment complet?
J'essayais d'expliquer à quelqu'un que C est Turing-complet et je me suis rendu compte que je ne savais pas si c'était techniquement Turing-complet. (C comme dans la sémantique abstraite, pas comme dans une implémentation réelle.) La réponse "évidente" (en gros: elle peut traiter une quantité de mémoire arbitraire, de sorte …
2
Perplexe par le théorème de Rice
Résumé: Selon le théorème de Rice, tout est impossible. Et pourtant, je fais ce truc soi-disant impossible tout le temps! Bien entendu, le théorème de Rice ne dit pas simplement "tout est impossible". Il dit quelque chose d'assez plus spécifique: "Chaque propriété d'un programme informatique est non-calculable." (Si vous voulez …
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.