抄録
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.