论 Büchi 算术的表达能力
计算机科学中的逻辑
2021-03-04 v3 形式语言与自动机理论
逻辑
摘要
我们证明任意基的 Büchi 算术的存在量词片段严格弱于完整的 Büchi 算术,并且进一步确立其 -片段在表达上已完备。此外,我们证明多项式增长的正则语言可在 Büchi 算术的存在量词片段中定义。
引用
@article{arxiv.2010.12892,
title = {On the Expressiveness of B\"uchi Arithmetic},
author = {Christoph Haase and Jakub Różycki},
journal= {arXiv preprint arXiv:2010.12892},
year = {2021}
}