弘久世奇（Hiroyuki Seki）;Toshinori Takai;优黑藤中;Yuichi Kaji 分层变换项重写系统及其可识别性保持特性。 （英语） Zbl 1045.68076号 苏菲·蒂森（编辑），《重写技术与应用》。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43916-1）。莱克特。票据计算。科学。2378, 98-113 (2002). 摘要：有效保持可识别性的术语重写系统（EPR-TRS）具有良好的数学特性。本文定义了一个新的TRS子类——分层变换TRS（LT-TRS），并讨论了它的可识别性保持特性。LT-TRS类包含一些EPR-TRS，例如\（{f（x）\ to f（g（x））\}\），它们不属于EPR-TRSs的任何已知可判定子类。树语言理论中著名的计算模型——自底向上线性树变换器是LT-TRS的一个特例。我们给出了LT-TRS成为EPR-TRS的一个充分条件。此外，还证明了LT-TRSs的一些性质（包括可达性）是可判定的。关于整个系列，请参见[Zbl 0992.00043号]. 引用于7文件 MSC公司： 2012年第68季度 语法和重写系统 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki}等人，Lect。票据计算。科学。2378、98——113（2002年；Zbl 1045.68076） 全文： 链接