Sciweavers

Share
RTA
2015
Springer

Transforming Cycle Rewriting into String Rewriting

3 years 4 months ago
Transforming Cycle Rewriting into String Rewriting
We present new techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and then apply state of the art techniques to prove termination of the string rewrite system. We present three such transformations, and prove for all of them that they are sound and complete. Apart from this transformational approach, we extend the use of matrix interpretations as was studied before. We present several experiments showing that often our new techniques succeed where earlier techniques fail. 1998 ACM Subject Classification F.4.2 Grammars and other rewriting systems Keywords and phrases rewriting systems, string rewriting, termination Digital Object Identifier 10.4230/LIPIcs.RTA.2015.285
David Sabel, Hans Zantema
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RTA
Authors David Sabel, Hans Zantema
Comments (0)
books