论无限图片的可识别语言

Olivier Finkel

论无限图片的可识别语言

计算机科学中的逻辑 2009-01-27 v1 计算复杂性逻辑

作者: Olivier Finkel

摘要

在最近的一篇论文中，Altenbernd、Thomas 和 Wöhrle 考虑了通过有限平铺系统接受无限二维词（无限图片）的语言，并采用了通常的接受条件，例如最初用于无限词的 Büchi 和 Muller 条件。作者们要求比较平铺系统接受与使用自动机模型在长度为 $\omega^2$ 的序数词上逐行接受图片的方式。本文给出了该问题的解决方案，表明所有能被 Büchi 或 Choueka 自动机读取长度为 $\omega^2$ 的词逐行接受的无限图片语言，都能被有限平铺系统以 Büchi 方式识别，但反之不成立。我们还回答了 Altenbernd、Thomas 和 Wöhrle 提出的另外两个问题，表明判断一个 Büchi 可识别的无限图片语言是否 E-可识别（或 A-可识别）是不可判定的。

关键词

无限图片可识别语言平铺系统 Büchi 接受 Muller 接受序数词上的自动机不可判定性

引用

@article{arxiv.0901.3828,
  title  = {On Recognizable Languages of Infinite Pictures},
  author = {Olivier Finkel},
  journal= {arXiv preprint arXiv:0901.3828},
  year   = {2009}
}

备注

An erratum is added at the end of the paper: The supremum of the set of Borel ranks of B\"uchi recognizable languages of infinite pictures is not the first non recursive ordinal $\omega_1^{CK}$ but an ordinal $\gamma^1_2$ which is strictly greater than the ordinal $\omega_1^{CK}$. This follows from a result proved by Kechris, Marker and Sami (JSL 1989)

论无限图片的可识别语言

摘要

关键词

引用

备注

相关论文