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.
|Title of host publication||Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)|
|Editors||A. Geser, H. Sondergaard|
|Publication status||Published - 2006|