汉斯·佩特·科尔布;乌韦·莫尼奇;弗兰克·莫拉维茨 交叉系列相关性的描述。 （英语） Zbl 0970.68091号 语法 3，编号2-3，189-216（2000）。 摘要：本文的主要结果是用（a）正则树语言（表示递归属性）和正则字符串语言（建立预期的语言关系）以及（b）可定义为单数二阶（MSO）的转导等价地描述交叉序列依赖在有限树的域上定义的逻辑，其被表征为闭合MSO公式的模型集。事实上，我们不应直接处理这两种类型的正则语言族和MSO可定义结构，而应考虑以有限状态（树）自动机的形式实现，以强调我们方法的有效性。 引用于3文件 MSC公司： 65年第68季度 形式语言和自动机 03B15号机组 高阶逻辑；类型理论（MSC2010） 关键词：MSO逻辑;一元二阶;正则树语言;常规字符串语言 PDF格式BibTeX公司 XML格式引用 \textit{H.-P.Kolb}等人，《语法》3，No.2--3，189-216（2000；Zbl 0970.68091） 全文： 内政部