Questions marquées «computability»

Théorie de la calculabilité aka théorie de la récursivité.

1
Écart entre
Si est l'ensemble des temps d'arrêt des machines de Turing à n états sur un alphabet binaire avec une bande initiale vide, alors B B ( n ) = max H T ( n ) .HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) Que dire du deuxième plus grand nombre de ? Appelez cela …
3
Preuve d'indécidabilité non pas par réduction du problème d'arrêt
La manière habituelle de prouver l'indécidabilité est la réduction d'un problème RE-complet tel que le problème d'arrêt, la validité dans la logique du premier ordre, la satisfiabilité des équations diophantiennes, etc. Il est connu qu'il y a des problèmes récursivement énumérables, mais indécidables qui ne sont pas RE-complets, mais ce …
3
Un programme peut-il être mis en œuvre mécaniquement?
Est-il possible de construire une implémentation mécanique à but unique (non complète de Turing) de, disons, Microsoft Word? Est-il possible d'implémenter des choses comme les itérateurs, les fonctions de premier ordre, toute la gamme des techniques de programmation? Les engrenages et autres pièces mécaniques pourraient-ils représenter des structures de données …
1
Compression des informations sur le problème d'arrêt des machines Oracle Turing
Il est bien connu que le problème d'arrêt n'est pas calculable. Cependant, il est possible de "compresser" exponentiellement des informations sur le problème d'arrêt, de sorte que sa décompression soit calculable. Plus précisément, il est possible de calculer à partir d'une description de machines de Turing et d'un conseil à …
2
Comment le calcul lambda capture-t-il exactement la notion intuitive de calculabilité?
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons que les MT n'existent pas - alors comment …
2
Réduire les questions de seuil aux questions de finitude
Il est généralement plus simple de raisonner sur le calcul où la limitation est la finitude du calcul plutôt qu'un seuil comme "calculable en temps polynomial". Dans la théorie des langages formels par exemple, plutôt d'utiliser le ∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n pour caractériser le monoïde apériodique, il est plus …
3
Y a-t-il une restriction naturelle de la logique VO qui capture P ou NP?
Le papier Lauri Hella et José María Turull-Torres, Requêtes informatiques avec des logiques d'ordre supérieur , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propose une logique VO, une logique d'ordre variable. Cela permet de quantifier les commandes sur les variables. VO est assez puissant et peut exprimer certaines requêtes …
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.