关于有限自动机的表示
形式语言与自动机理论
2009-06-16 v1
摘要
我们给出了一个唯一的字符串表示,在同构意义下,用于具有n个状态、字母表大小为k的初始连通确定型有限自动机(ICDFA)。我们展示了如何为每个n和k生成所有这些字符串,并且其枚举提供了获得ICDFA确切数量的另一种方法。
关键词
引用
@article{arxiv.0906.2477,
title = {On the Representation of Finite Automata},
author = {Rogério Reis and Nelma Moreira and Marco Almeida},
journal= {arXiv preprint arXiv:0906.2477},
year = {2009}
}
备注
DCFS 2005