一种 omega-上下文无关语言的证明理论
计算机科学中的逻辑
2024-04-26 v1 逻辑
摘要
我们研究带有固定点的正则表达式的证明理论，视为 (omega-)上下文无关语法的notation。从Das 和 Pous 所提出的正则表达式的超顺序系统开始，我们定义其以最小固定点扩展，并证明了其非良根证明对标准语言模型的充分性。随后，我们应用证明技术恢复由结果等式理论所产生的infinitary公理化，完整地覆盖上下文无关语言包含关系。最后，我们通过最大固定点扩展我们的语法，现在计算 omega-上下文无关语言。我们展示了相应系统的soundness 和 completeness 使用了混合的证明论和博弈论技术。
关键词
引用
@article{arxiv.2404.16231,
title = {A proof theory of (omega-)context-free languages, via non-wellfounded proofs},
author = {Anupam Das and Abhishek De},
journal= {arXiv preprint arXiv:2404.16231},
year = {2024}
}
备注
24 pages, 5 figures