一个高于 Delta^0_omega 的上下文无关语言的 omega 幂
计算复杂性
2008-09-10 v1 计算机科学与博弈论
计算机科学中的逻辑
逻辑
摘要
我们利用类似擦除器的基本字运算构造了一个集合，该集合既是 Borel 集又高于 Delta^0_omega，其形式为 V^\omega，其中 V 是由下推自动机接受的有限字语言。特别地，这给出了一个上下文无关语言的 omega 幂是无限秩 Borel 集的首个例子。
引用
@article{arxiv.0801.1783,
title = {An omega-power of a context-free language which is Borel above Delta^0_omega},
author = {Jacques Duparc and Olivier Finkel},
journal= {arXiv preprint arXiv:0801.1783},
year = {2008}
}
备注
To appear in the Proceedings of the International Conference Foundations of the Formal Sciences V : Infinite Games, November 26th to 29th, 2004, Bonn, Germany, Stefan Bold, Benedikt L\"owe, Thoralf R\"asch, Johan van Benthem (eds.), College Publications at King's College (Studies in Logic), 2007