Questions marquées «computability»

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

3
Existe-t-il une MT qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable?
Existe-t-il une machine de Turing qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable pour une raison quelconque? Je me demande si cette question a été étudiée. Remarque: «non démontrable» pourrait signifier un système de preuve «limité» (qui au sens faible pense que la réponse doit être …
1
Un espace métrique intéressant lié aux machines de Turing
Dans cette question, nous considérons uniquement les machines Turing qui s'arrêtent sur toutes les entrées. Si k∈Nk∈Nk \in \mathbb{N} alors par TkTkT_k on désigne la machine de Turing dont le code est kkk . Considérez la fonction suivante s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} En d'autres termes, …
2
Quelles langues sont reconnues par les machines à guichet unique?
Les machines de comptage avec deux compteurs ou plus sont généralement équivalentes aux machines de Turing dans les cours sur la théorie du calcul. Cependant, je n'ai pas vu d'analyse formelle des langues pouvant être reconnues par une machine à guichet unique. Ces langues sont-elles équivalentes aux langues sans contexte …
3
Turing puissance complète et de calcul
Dans une conférence, un professeur a mentionné que les ordinateurs modernes n'ont pas autant de puissance de calcul qu'une machine Turing parce qu'ils n'ont pas de mémoire infinie, et comme aucun ordinateur ne peut avoir une mémoire infinie, la machine Turing est donc inaccessible et représente simplement la limite supérieure …
2
Pourquoi Turing est-il complet?
J'utilise un ordinateur numérique pour écrire ce message. Une telle machine a une propriété qui, si vous y réfléchissez, est en fait assez remarquable: c'est une machine qui, si elle est programmée de manière appropriée, peut effectuer tout calcul possible . Bien sûr, les machines à calculer d'un type ou …
5
Existe-t-il des propriétés indécidables des automates non complets de Turing?
Existe-t-il des propriétés indécidables des automates linéaires bornés (en évitant l'astuce de la langue vide)? Et pour un automate fini déterministe? (mettre de côté l'intraçabilité). J'aimerais obtenir un exemple (si possible) d'un problème indécidable défini sans utiliser de machines Turing explicitement les . Turing l'exhaustivité d'un modèle est-il nécessaire pour …
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.