有限生成的理想语言和同步自动机

摘要:利用强连通同步自动机研究理想语言的表示。对于任意有限生成的理想语言L,我们构造了一个最多包含2^n个状态的自动机,其中n是L中最长单词的长度。我们的构造基于De Bruijn图。

作者:Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina

论文ID:1305.0336

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2013-05-03

PDF 下载: 英文版 中文版pdf翻译中