代数线性序
摘要：代数线性排序是连续分类代数的初步解构件，它配备有求和操作和常数1的可数线性排序。根据一般的Mezei-Wright类型结果，代数线性排序正是那些同构于代数树叶的线性排序。利用Courcelle对代数树的刻画，我们得到一个事实：线性排序是代数的，当且仅当它可以被表示为确定性上下文无关语言的字典排序。当代数线性排序是良序时，它的序类型是一个代数序数。我们证明了任何离散代数线性排序的Hausdorff秩小于$omega^omega$。由此可知，代数序数正好是小于$omega^{omega^omega}$的序数。
作者：Stephen L. Bloom and Zoltan Esik
论文ID：1002.1624
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-02-10