Questions marquées «computability»

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

2
Une variante de la fonction castor occupé
En lisant cette question « Problèmes naturels indécidables RE mais pas Turing-complete », le langage suivant m'est venu à l'esprit: Si est la fonction de castor occupé (score maximum atteignable parmi toutes les machines de Turing à 2 symboles à arrêt n du type décrit ci-dessus, lorsqu'elles sont démarrées sur …
1
Carrelages uniques de carrés
Nous voulons carreler m × mm×mm\times m -square en utilisant deux types de tuiles: 1 × 11×11 \times 1 -square tile et 2 × 22×22 \times 2 -square tile de sorte que chaque carré sous-jacent soit couvert sans se chevaucher. Définissons une fonction F( n )f(n)f(n) qui donne la taille …
2
Machine de Turing alphabet infini
Une machine de Turing autorisée à lire et à écrire des symboles d'un alphabet infini est-elle plus puissante qu'une MT régulière (c'est la seule différence, la machine a toujours un nombre fini d'états)? L'intuition me dit que non, car il faut un nombre infini d'états pour différencier chaque symbole. Je …
1
La preuve que
Je voudrais utiliser votre aide pour le problème suivant: . Vérifier que L ∉ R E ∪ C o R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Je sais que pour prouver , il suffit de trouver un langage L ′ …
2
Décidabilité de la langue du préfixe
À mi-parcours, il y avait une variante de la question suivante: Pour un décidable, définissez Montrez que n'est pas nécessairement décidable.Pref ( L ) = { x ∣ ∃ y st x y ∈ L } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y …
1
Expressivité des expressions régulières modernes
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …
1
Que signifie dire qu'une langue est «effectivement fermée» dans le cadre d'une opération?
J'ai lu des articles théoriques sur le langage formel et je suis tombé sur un terme que je ne comprends pas. Le document fera souvent référence à un ensemble «effectivement fermé sous intersection» ou à d'autres opérations. Que signifie "effectivement" ici? En quoi cela diffère-t-il de la fermeture normale? Pour …
2
Théorie des domaines et polymorphisme
La théorie des domaines donne une théorie étonnante de calculabilité en présence de types simples. Mais lorsque le polymorphisme paramétrique est ajouté, il ne semble pas y avoir une bonne théorie qui explique ce qui se passe aussi bien que la théorie des domaines explique le calcul sur des types …
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.