Theoretical Computer Science
Formal languages
Remarks on operations suggested by mutations in genomes
Fundamenta Informaticae
Journal of the ACM (JACM)
Indexed Grammars—An Extension of Context-Free Grammars
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Generalization of Ogden's Lemma
Journal of the ACM (JACM)
Algebraic and Automata-Theoretic Properties of Formal Languages
Algebraic and Automata-Theoretic Properties of Formal Languages
Operations and language generating devices suggested by the genome evolution
Theoretical Computer Science
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Closure and decidability properties of some language classes with respect to ciliate bio-operations
Theoretical Computer Science
Families of languages defined by ciliate bio-operations
Theoretical Computer Science
Deterministic Input-Reversal and Input-Revolving Finite Automata
Language and Automata Theory and Applications
On input-revolving deterministic and nondeterministic finite automata
Information and Computation
A geometric hierarchy of languages
Journal of Computer and System Sciences
Flip-pushdown automata: k + 1 pushdown reversals are better than k
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Revolving-input finite automata
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Hi-index | 0.00 |
We summarize results on extended finite automata, which are basically finite state machines with the additional ability to manipulate the still unread part of the input. Well-known manipulation functions are reversal, left-revolving, right-revolving, and circular interchanging, or even biologically motivated functions as hairpin inversion. We mainly focus on the computational power of these machines and on the closure properties by standard formal language operations of the induced language families. Moreover, we also discuss several generalizations of this concept, the natural generalization to hybrid extended finite automata, which allows several input manipulation functions, and in particular, extended pushdown automata, which lead to an alternative characterization of Khabbaz hierarchy of languages. We do not prove these results but we merely draw attention to the big picture, some of the main ideas involved, and open problems for further research.