On One-Rule Grid Semi-Thue Systems
Michel Latteux, Yves Roos · Fundamenta Informaticae · 2012
The family of one-rule grid semi-Thue systems, introduced by Alfons Geser, is the family of one-rule semi-Thue systems such that there exists a letter c that occurs as often in the left-hand side as the right-hand side of the rewriting rule. We prove