3 citations · 4 across the 5 of their papers we have counts for
3 papers · 1 filter
Eigenvalues and Transduction of Morphic Sequences: Extended Version
David Sprunger, William Tune, Jörg Endrullis +1
We study finite state transduction of automatic and morphic sequences. Dekking proved that morphic sequences are closed under transduction and in particular morphic images. We pres…
Non-termination using Regular Languages
Jörg Endrullis, Hans Zantema
We describe a method for proving non-looping non-termination, that is, of term rewriting systems that do not admit looping reductions. As certificates of non-termination, we employ…
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks +2
We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show…