F类inite（初始）A类乌托邦H（H）本能地F类inite（初始）S公司et（等）T型海瑞

劳伦斯·保尔森 🌐

2015年2月5日

摘要

正则语言的有限自动机，包括确定性和非确定性。Myhill Nerode定理。交叉、串联等情况下的闭合。正则表达式定义正则语言。反向关闭；将NFA映射到DFA的powerset结构。左右语言；最小DFA。Brzozowski的最小化算法。最小DFA同构的唯一性。

许可证

许可协议

话题

会话Finite_Automata_HF

取决于

自动相关条目

引用

× 
@文章{Finite_Automata_HF-AFP，author={Lawrence C.Paulson}，title={遗传有限集理论中的有限自动机}，journal={正式证据存档}，月={2月}，年份={2015年}，注意={\url{https://isa-afp.org/entries/Finite_Automata_HF.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：