散乱上下文无关序的次序类型
形式语言与自动机理论
2019-09-19 v1
摘要
我们证明，若一个上下文无关文法生成的语言其字典序为小于 的良序，则其次序类型是可有效计算的。
引用
@article{arxiv.1909.08543,
title = {On the Order Type of Scattered Context-Free Orderings},
author = {Kitti Gelle and Szabolcs Iván},
journal= {arXiv preprint arXiv:1909.08543},
year = {2019}
}
备注
In Proceedings GandALF 2019, arXiv:1909.05979. arXiv admin note: text overlap with arXiv:1907.11573