Download or read book Termination of String Rewriting Rules that Have One Pair of Overlaps written by Alfons Geser and published by . This book was released on 2002 with total page 18 pages. Available in PDF, EPUB and Kindle. Book excerpt: This paper presents a partial solution to the long standing open problem of termination of one-rule string rewriting. Overlaps between the two sides of the rule play a central rule in existing termination criteria. We characterize termination of all one-rule string rewriting systems that have one such overlap at either end. This both completes a result of Kurth and generalizes a result of Shikishima-Tsuji et al.