16 citations · 31 across the 15 of their papers we have counts for
5 papers · 1 filter
Decision Problems on Copying and Shuffling
Vesa Halava, Tero Harju, Dirk Nowotka +1
We study decision problems of the form: given a regular or linear context-free language , is there a word of a given fixed form in , where given fixed forms are based on word…
Abelian bordered factors and periodicity
Emilie Charlier, Tero Harju, Svetlana Puzynina +1
A finite word u is said to be bordered if u has a proper prefix which is also a suffix of u, and unbordered otherwise. Ehrenfeucht and Silberger proved that an infinite word is pur…
Weighted automata on infinite words in the context of Attacker-Defender games
Vesa Halava, Tero Harju, Reino Niskanen +1
We consider infinite-state Attacker-Defender games with reachability objectives. The results of the paper are twofold. Firstly we prove a new language-theoretic result for weighted…
A new proof for the decidability of D0L ultimate periodicity
Vesa Halava, Tero Harju, Tomi Kärki
We give a new proof for the decidability of the D0L ultimate periodicity problem based on the decidability of p-periodicity of morphic words adapted to the approach of Harju and Li…
Finite Orbits of Language Operations
E. Charlier, M. Domaratzki, T. Harju +1
We consider a set of natural operations on languages, and prove that the orbit of any language L under the monoid generated by this set is finite and bounded, independently of L. T…