9 citations · 40 across the 22 of their papers we have counts for
3 papers · 1 filter
The Degree of Squares is an Atom (Extended Version)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks +1
We answer an open question in the theory of degrees of infinite sequences with respect to transducibility by finite-state transducers. An initial study of this partial order of deg…
Proving Looping and Non-Looping Non-Termination by Finite Automata
Jörg Endrullis, Hans Zantema
A new technique is presented to prove non-termination of term rewriting. The basic idea is to find a non-empty regular language of terms that is closed under rewriting and does not…
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings
H. J. Sander Bruggink, Barbara König, Dennis Nolte +1
We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapt…