Toshinori Takai;Yuichi Kaji;弘久世奇（Hiroyuki Seki） 右线性有限路径重叠项重写系统有效地保持了可识别性。 （英语） Zbl 0964.68073号 Leo Bachmair（编辑），重写技术和应用。第11届国际会议，2000年7月10日至12日，英国诺维奇，RTA 2000。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1833246-260（2000年）。 结论：提出了一类新的TRS，称为有限路径重叠TRS（RLFPO-TRS）。结果表明，RLFPO-TRS有效地保持了可识别性，并且该类适当地包含了TRS的已知可判定类，从而有效地保持可识别性。文中还讨论了该类的近似。RLFPO-TRS不包括简单的EPR-TRS，因此\（R=\{f（x）\ to f（f（x（x））\}\）。要构造一个接受给定树自动机的树自动机，我们可能需要一个“合并”树自动机等价状态的操作。有关整个系列，请参见[Zbl 0941.00035号]. 引用于26文件 MSC公司： 2012年第68季度 语法和重写系统 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit｛T.Takai｝等人，Lect。注释计算。科学。1833246-260（2000年；Zbl 0964.68073）