中文

上下文无关\omega-语言的拓扑复杂性:综述

计算机科学中的逻辑 2013-03-14 v2 计算复杂性 逻辑

摘要

我们综述了关于上下文无关\omega-语言拓扑复杂性的最新结果,这类语言构成了无限字语言 Chomsky 层次结构的第二层。特别地,我们考虑了非确定性或确定性上下文无关\omega-语言的 Borel 层次结构和 Wadge 层次结构。我们还研究了判定问题、与歧义性及歧义度概念的联系,以及\omega-幂的特殊情况。

关键词

引用

@article{arxiv.0806.1413,
  title  = {Topological Complexity of Context-Free omega-Languages: A Survey},
  author = {Olivier Finkel},
  journal= {arXiv preprint arXiv:0806.1413},
  year   = {2013}
}