Decision Problems For Turing Machines - Logique
Article Dans Une Revue Information Processing Letters Année : 2009

Decision Problems For Turing Machines

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 834645
Dominique Lecomte
  • Fonction : Auteur
  • PersonId : 840880
  • IdRef : 157131912

Résumé

We answer two questions posed by Castro and Cucker, giving the exact complexities of two decision problems about cardinalities of omega-languages of Turing machines. Firstly, it is $D_2(\Sigma_1^1)$-complete to determine whether the omega-language of a given Turing machine is countably infinite, where $D_2(\Sigma_1^1)$ is the class of 2-differences of $\Sigma_1^1$-sets. Secondly, it is $\Sigma_1^1$-complete to determine whether the omega-language of a given Turing machine is uncountable.
Fichier principal
Vignette du fichier
Cardinalities.pdf (123.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00413331 , version 1 (03-09-2009)

Identifiants

Citer

Olivier Finkel, Dominique Lecomte. Decision Problems For Turing Machines. Information Processing Letters, 2009, 109 (23-24), pp.1223-1226. ⟨hal-00413331⟩
176 Consultations
259 Téléchargements

Altmetric

Partager

More