Deterministic one-way Turing machines with sublinear space bounds

Abstract : Deterministic one-way Turing machines with sublinear space bounds are systematically studied. We distinguish among the notions of strong, weak, and restricted space bounds. The latter is motivated by the study of P automata. The space available on the work tape depends on the number of input symbols read so far, instead of the entire input. The class of functions space constructible by such machines is investigated, and it is shown that every function f that is space constructible by a deterministic two-way Turing machine, is space constructible by a strongly f space-bounded deterministic one-way Turing machine as well. We prove that the restricted mode coincides with the strong mode for space constructible functions. It turns out that the strong mode is computationally less powerful than the weak mode, for any sublinear space constructible function. Moreover, the known infinite, dense, and strict hierarchy of strong space complexity classes is shown also for the weak mode by Kolmogorov complexity arguments. Finally, closure properties under Boolean operations are obtained for weak space bounds. These properties are different from the known properties of strong space bounds.
Type de document :
Communication dans un congrès
Non-Classical Models for Automata and Applications, Aug 2013, Umeå, Sweden. 294, pp.195-208, 2013, books@ocg.at
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01297603
Contributeur : Julien Provillard <>
Soumis le : lundi 4 avril 2016 - 15:12:51
Dernière modification le : samedi 9 avril 2016 - 17:49:07
Document(s) archivé(s) le : mardi 5 juillet 2016 - 15:00:25

Fichier

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

Identifiants

  • HAL Id : hal-01297603, version 1

Collections

Citation

Martin Kutrib, Julien Provillard, György Vaszil, Matthias Wendlandt. Deterministic one-way Turing machines with sublinear space bounds. Non-Classical Models for Automata and Applications, Aug 2013, Umeå, Sweden. 294, pp.195-208, 2013, books@ocg.at. <hal-01297603>

Partager

Métriques

Consultations de
la notice

29

Téléchargements du document

20