Carayol,阿诺;斯特凡·沃尔尔 无限图在逻辑和高阶下推自动机方面的Caucal层次结构。 (英文) Zbl 1205.03022号 Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。勒克特。注释计算。科学。2914, 112-123 (2003). 摘要:本文给出了Caucal层次的两个等价刻画,Caucal是一个具有可判定一元二阶(MSO)理论的无限图层次。它是通过迭代展开和逆有理映射的图变换得到的。第一个特征坚持这种层次化方法,用MSO转导取代有理映射的语言理论操作,用树图操作进行展开。第二个特征是非迭代的。我们证明了Caucal层次的图族与作为高阶下推自动机的配置图的\(ε)-闭包获得的图族一致。虽然图族的不同特征表明了它们的健壮性,因此也显示了它们的重要性,但根据高阶下推自动机进行的特征化还可以得出图层次确实是严格的。关于整个系列,请参见[Zbl 1029.00064号]. 引用于1审查引用于22文件 MSC公司: 03B25号 理论和句子集的可决定性 05年3月 与逻辑问题相关的自动机和形式文法 65年第68季度 形式语言和自动机 68兰特 计算机科学中的图论(包括图形绘制) PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{S.Wöhrle},莱克特。注释计算。科学。2914、112-123(2003年;Zbl 1205.03022) 全文: 内政部