%0 Conference Proceedings
%T Limited Automata: Properties, Complexity and Variants
%+ Dipartimento di Informatica (ISLab)
%A Pighizzini, Giovanni
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 21th International Conference on Descriptional Complexity of Formal Systems (DCFS)
%C Košice, Slovakia
%Y Michal Hospodár
%Y Galina Jirásková
%Y Stavros Konstantinidis
%I Springer International Publishing
%3 Descriptional Complexity of Formal Systems
%V LNCS-11612
%P 57-73
%8 2019-07-17
%D 2019
%R 10.1007/978-3-030-23247-4_4
%Z Computer Science [cs]Conference papers
%X Limited automata are single-tape Turing machines with severe rewriting restrictions. They have been introduced in 1967 by Thomas Hibbard, who proved that they have the same computational power as pushdown automata. Hence, they provide an alternative characterization of the class of context-free languages in terms of recognizing devices. After that paper, these models have been almost forgotten for many years. Only recently limited automata were reconsidered in a series of papers, where several properties of them and of their variants have been investigated. In this work we present an overview of the most important results obtained in these researches. We also discuss some related models and possible lines for future investigations.
%G English
%Z TC 1
%Z WG 1.02
%2 https://inria.hal.science/hal-02387288/document
%2 https://inria.hal.science/hal-02387288/file/480958_1_En_4_Chapter.pdf
%L hal-02387288
%U https://inria.hal.science/hal-02387288
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG
%~ IFIP-DCFS
%~ IFIP-WG1-2
%~ IFIP-LNCS-11612