有关有限自动机的表示

摘要:确定的初连接有限自动机(ICDFAs)在k个符号的字母表上具有n个状态,我们给出了一个独特的字符串表示方法,通过同构性。我们展示了如何为每个n和k生成所有这些字符串,并且如何通过枚举获得ICDFAs的精确数量的另一种方法。

作者:Rog''erio Reis, Nelma Moreira and Marco Almeida

论文ID:0906.2477

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2009-06-16

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