Termination of extended string rewriting
Hans Zantema, Alfons Geser, H. Sondergaard · TU/e Research Portal · 2006
We extend string rewriting in such a way that in the rules also variables may occur that may be replaced by arbitrary strings. This is a natural format occurring in text editing and pattern matching. We investigate termination behaviour of these extended string rewriting systems.