Scientiae Mathematicae Japonicae
Online ISSN : 1346-0447
RIGHT-LINEAR FINITE PATH OVERLAPPING REWRITE SYSTEMS EFFECTIVELY PRESERVE RECOGNIZABILITY
Toshinori TAKAIYuichi KAJIHiroyuki SEKI
Author information
JOURNAL FREE ACCESS

2010 Volume 71 Issue 2 Pages 127-153

Details
Abstract
Right-linear finite path overlapping TRS are shown to effectively preserve recognizability. The class of right-linear finite path overlapping TRS properly includes the class of linear generalized semi-monadic TRS and the class of inverse left-linear growing TRS, which are known to effectively preserve recognizability.
Content from these authors
© 2010 International Society for Mathematical Sciences
Previous article Next article
feedback
Top