Decision Problems For Turing Machines

Abstract : 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.
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00413331
Contributeur : Olivier Finkel <>
Soumis le : jeudi 3 septembre 2009 - 17:25:57
Dernière modification le : dimanche 31 mars 2019 - 01:16:33
Document(s) archivé(s) le : mardi 15 juin 2010 - 23:10:25

Fichiers

Cardinalities.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00413331, version 1
  • ARXIV : 0909.0736

Citation

Olivier Finkel, Dominique Lecomte. Decision Problems For Turing Machines. Information Processing Letters, Elsevier, 2009, 109 (23-24), pp.1223-1226. ⟨hal-00413331⟩

Partager

Métriques

Consultations de la notice

382

Téléchargements de fichiers

107