确定性无环有限自动机的精确生成
摘要：用于具有n个状态和k个符号的字母表上的剪裁无环确定有限自动机（Adfa）的规范表示。利用这个标准形式，我们提出了一个回溯算法，用于精确生成Adfa。该算法是对Almeida等人提出的用于精确生成最小无环确定有限自动机的算法的重要适应。
作者：Marco Almeida, Nelma Moreira, and Rog''erio Reis
论文ID：0908.3315
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-08-25