大崎，Hitoshi;Toshinori Takai 方程树语言的可判定性和闭包性质。 （英语） Zbl 1045.68083号 苏菲·蒂森（编辑），《重写技术与应用》。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43916-1）。莱克特。票据计算。科学。2378, 114-128 (2002). 摘要：等式树自动机提供了一个强大的树语言框架，有助于识别树语言的同余闭包。本文通过对地面AC项重写可达性问题的直接简化，证明了AC树自动机的空性问题和正则AC树自变量的交空性问题是可判定的，这两个问题在我们之前的工作中都是公开的。新得到的结果推广了Mayr和Rusinovitch的所谓可达性问题的可判定性。然后我们讨论了AC-树自动机的复杂性问题。此外，为了解决有关正则A树和AC树自动机的其他一些问题，我们回顾了单词语言和树语言之间的基本联系。关于整个系列，请参见[Zbl 0992.00043号]. 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{H.Ohsaki}和\textit{T.Takai}，Lect。票据计算。科学。2378144-128（2002年；兹比尔1045.68083） 全文： 链接