极小非确定性有限自动机与正则语言的原子
形式语言与自动机理论
2013-01-24 v1
摘要
我们从原子 NFA 的角度研究 NFA 最小化问题，即每个状态的右语言是原子的并的 NFA，其中正则语言的原子是该语言的取补与未取补左商的非空交集。我们刻画了给定语言的所有归约原子 NFA，即没有等价状态的 NFA。利用原子 NFA，我们将 Sengoku 的 NFA 最小化方法形式化，并证明其方法无法找到所有极小 NFA。我们还用商和原子的语言表述了 Kameda-Weiner NFA 最小化方法。
引用
@article{arxiv.1301.5585,
title = {Minimal Nondeterministic Finite Automata and Atoms of Regular Languages},
author = {Janusz Brzozowski and Hellis Tamm},
journal= {arXiv preprint arXiv:1301.5585},
year = {2013}
}
备注
15 pages, 29 tables