Formal languages
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Algebraic and Automata-Theoretic Properties of Formal Languages
Algebraic and Automata-Theoretic Properties of Formal Languages
A Taxonomy of Forgetting Automata
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Finite automata and their decision problems
IBM Journal of Research and Development
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
Hybrid extended finite automata
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
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
Gaining power by input operations: finite automata and beyond
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Hi-index | 0.00 |
We introduce and investigate input-revolving finite automata, which are (nondeterministic) finite state automata with the additional ability to shift the remaining part of the input. Three different modes of shifting are considered, namely revolving to the left, revolving to the right, and circular interchanging. We investigate the computational capacities of these three types of automata and their deterministic variants, comparing any of the six classes of automata with each other and with further classes of well-known automata. In particular, it is shown that nondeterminism is better than determinism, that is, for all three modes of shifting there is a language accepted by the nondeterministic model but not accepted by any deterministic automaton of the same type. Concerning the closure properties most of the deterministic language families studied are not closed under standard operations. For example, we show that the family of languages accepted by deterministic right-revolving finite automata is an anti-AFL which is not closed under reversal and intersection.