Right one-way jumping finite automata (ROWJFAs), were recently introduced in [H. Chigahara, S.Z. Fazekas, A. Yamamura: One-Way Jumping Finite Automata, Internat. J. Found. Comput. Sci., 27(3), 2016] and are jumping automata that process the input in a discontinuous way with the restriction that the input head reads deterministically from left-to-right starting from the leftmost letter in the input and when it reaches the end of the input word, it returns to the beginning and continues the computation. We solve most of the open problems of these devices. In particular, we characterize the family of permutation closed languages accepted by ROWJFAs in terms of Myhill-Nerode equivalence classes. Using this, we investigate closure and non-closur...
The family of languages recognized by one-way multihead writing finite automata is investigated. It ...
New families of ω-languages (sets of infinite sequences) associated with context-free languages and ...
AbstractIn this paper we study the ω-languages accepted by finite automata under a new type of accep...
Right one-way jumping automata (ROWJFAs) are an automaton model that was recently introduced for pro...
International audienceRight one-way jumping finite automata are deterministic devices that process t...
The present paper modifies and studies jumping finite automata so they always perform two simultaneo...
Recently, new types of non-sequential machine models have been introduced and studied, such as jumpi...
In this paper, we extend a newly introduced concept called the jumping nite automata for accepting ...
AbstractWe introduce and investigate input-revolving finite automata, which are (nondeterministic) f...
AbstractTurn bounded pushdown automata with different conditions for beginning a new turn are invest...
The recently introduced model of one-way jumping finite automata skips over letters for which it doe...
International audienceWe consider a fragment of a cyclic sequent proof system for Kleene algebra, an...
Deterministic 1-way stack automata (SA) are generalized to include jumps, and it is established that...
This paper is concerned with demonstration of newly investigated jumping finite automata. Unlike con...
This thesis is concerned with extending properties of regular word languages to richer structures. W...
The family of languages recognized by one-way multihead writing finite automata is investigated. It ...
New families of ω-languages (sets of infinite sequences) associated with context-free languages and ...
AbstractIn this paper we study the ω-languages accepted by finite automata under a new type of accep...
Right one-way jumping automata (ROWJFAs) are an automaton model that was recently introduced for pro...
International audienceRight one-way jumping finite automata are deterministic devices that process t...
The present paper modifies and studies jumping finite automata so they always perform two simultaneo...
Recently, new types of non-sequential machine models have been introduced and studied, such as jumpi...
In this paper, we extend a newly introduced concept called the jumping nite automata for accepting ...
AbstractWe introduce and investigate input-revolving finite automata, which are (nondeterministic) f...
AbstractTurn bounded pushdown automata with different conditions for beginning a new turn are invest...
The recently introduced model of one-way jumping finite automata skips over letters for which it doe...
International audienceWe consider a fragment of a cyclic sequent proof system for Kleene algebra, an...
Deterministic 1-way stack automata (SA) are generalized to include jumps, and it is established that...
This paper is concerned with demonstration of newly investigated jumping finite automata. Unlike con...
This thesis is concerned with extending properties of regular word languages to richer structures. W...
The family of languages recognized by one-way multihead writing finite automata is investigated. It ...
New families of ω-languages (sets of infinite sequences) associated with context-free languages and ...
AbstractIn this paper we study the ω-languages accepted by finite automata under a new type of accep...