×

树自动机基础。 (英语) 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格式引用
全文: 内政部