Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Non-Looping String Rewriting

Alfons GeserHans Zantema — 2010

RAIRO - Theoretical Informatics and Applications

String rewriting reductions of the form t R + u t v , called , are the most frequent cause of infinite reductions (non- termination). Regarded as a model of computation, infinite reductions are unwanted whence their static detection is important. There are string rewriting systems which admit infinite reductions although they admit no loops. Their non-termination is particularly difficult to uncover. We present a few conditions for the existence of loops, and thus establish a means to recognize ...

Page 1

Download Results (CSV)