摘要：（有限字）序数自动结构的扩展：随机图和无穷积分类不是按照低于$ω_1+ω^ω$的序数进行订单自动化。
作者：Alexander Kartzow
论文ID：1410.5197
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-21
PDF 下载： 英文版 中文版pdf翻译中