克里斯托夫·Löding 树自动机基础。 (英语) Zbl 1256.68103号 D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,79-109(2012)。 小结:本文是对有限树自动机理论的介绍,供熟悉有限词标准自动机的读者阅读。它涵盖了排序树自动机的基本构造,以及最小化、算法问题和与一元二阶逻辑的连接。进一步,我们提出了未分类树的树篱自动机和树行走自动机模型。关于整个系列,请参见[Zbl 1252.68031号]. 引用于三文件 MSC公司: 第68季度第45季度 形式语言和自动机 05二氧化碳 树木 关键词:有限树自动机;排序树自动机;一元二阶逻辑;对冲自动机 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding},IISc研究论文。序列号。279--109(2012年;Zbl 1256.68103) 全文: 内政部