Hitoshi大坂;弘久世奇（Hiroyuki Seki）;Toshinori Takai 使用成员条件重写机制识别布尔闭A树语言。 （英语） Zbl 1038.68070号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 483-498 (2003). 摘要：本文提供了一种计算A-TA（带关联性公理的树自动机）可识别树语言补码的算法。由于这个闭包属性以及之前获得的结果，我们知道该类是布尔闭包，同时保持了正则树语言的A-闭包的可识别性。在主要结果的证明中，引入了一个新的树自动机框架，称为序列树自动机，作为Lugiez和Dal Zilio的多树自动机的一个推广。在基本A项重写的情况下，可识别的A树语言在一步重写关系下是封闭的。这个结果允许我们以任意精度计算可识别A-tree语言的A-rewrite后代的欠近似值。关于整个系列，请参见[Zbl 1029.00060号]. 引用于5文件 MSC公司： 2012年第68季度 语法和重写系统 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{H.Ohsaki}等人，Lect。注释计算。科学。2706、483--498（2003年；Zbl 1038.68070） 全文： 链接