摘要：无限有序字母表上的无限正则语言L（A，<）上的有限确定性自动机（具有输出）按照<的词汇顺序列举L的词汇，从而生成一个自动机的输出字母表的无限序列。这个过程推广了关于抽象数制系统中的k-自动序列的概念，其中的系统以基数k表示。在这里，我研究了这些序列的初始属性以及它们与数制系统之间的关系。
作者：Michel Rigo
论文ID：cs/9906017
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中