最小非确定有限自动机和正则语言的原子
摘要：原子NFA上的NFA最小化问题进行了研究，也就是每个状态的右侧语言都是原子的并集的NFA，其中正则语言的原子是语言的互补和非互补左商的非空交集。我们对给定语言的所有简化原子NFA进行了表征，即那些没有等效状态的NFA。使用原子NFA，我们形式化了Sengoku的NFA最小化方法，并证明他的方法无法找到所有的最小NFA。我们还利用商和原子的概念阐述了Kameda-Weiner的NFA最小化方法。
作者：Janusz Brzozowski, Hellis Tamm
论文ID：1301.5585
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-01-24