ON THE COMPUTATIONAL COMPLEXITY OF ALGEBRAIC NUMBERS: THE HARTMANIS–STEARNS PROBLEM REVISITED

Abstract : — We consider the complexity of integer base expansions of algebraic irrational numbers from a computational point of view. We show that the Hartmanis–Stearns problem can be solved in a satisfactory way for the class of multistack machines. In this direction, our main result is that the base-b expansion of an algebraic irrational real number cannot be generated by a deterministic pushdown automaton. We also confirm an old claim of Cobham proving that such numbers cannot be generated by a tag machine with dilation factor larger than one.
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01254293
Contributeur : Boris Adamczewski <>
Soumis le : mardi 12 janvier 2016 - 14:40:01
Dernière modification le : samedi 7 avril 2018 - 01:05:34
Document(s) archivé(s) le : jeudi 10 novembre 2016 - 23:40:25

Fichier

HartmanisStearns12:01:2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01254293, version 1

Citation

Boris Adamczewski, Julien Cassaigne, Marion Le Gonidec. ON THE COMPUTATIONAL COMPLEXITY OF ALGEBRAIC NUMBERS: THE HARTMANIS–STEARNS PROBLEM REVISITED. 2016. 〈hal-01254293〉

Partager

Métriques

Consultations de la notice

1127

Téléchargements de fichiers

185