1 citations · 1 across the 2 of their papers we have counts for
3 papers
Degrees of Infinite Words, Polynomials, and Atoms (Extended Version)
Jörg Endrullis, Juhani Karhumäki Jan Willem Klop, Aleksi Saarela
We study finite-state transducers and their power for transforming infinite words. Infinite sequences of symbols are of paramount importance in a wide range of fields, from formal…
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks +1
The theory of finite and infinitary term rewriting is extensively developed for orthogonal rewrite systems, but to a lesser degree for weakly orthogonal rewrite systems. In this no…
Let's Make a Difference!
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop
We study the behaviour of iterations of the difference operator delta on streams over {0,1}. In particular, we show that a stream sigma is eventually periodic if and only if the se…