分散单计数器语言的秩小于 $\omega^2$
形式语言与自动机理论
2023-03-07 v2
摘要
若线性序是某个上下文无关语言的字典序，则称其为上下文无关的；若其没有稠密子序，则称其为分散的。每个分散序都有一个相关的序数，称为其秩。已知分散上下文无关（正则，分别地）序的秩小于 （，分别地）。在本文中，我们证实了单计数器语言的秩小于 这一猜想。
引用
@article{arxiv.2007.00090,
title = {Scattered one-counter languges have rank less than $\omega^2$},
author = {Szabolcs Ivan},
journal= {arXiv preprint arXiv:2007.00090},
year = {2023}
}