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