有限自动机

遗传有限集理论中的有限自动机。正则语言的有限自动机,既有确定性又有非确定性。Myhill Nerode定理。在交集、连接等的闭包中,正则表达式定义正则语言。反转下的闭包;幂集构造映射NFAS到DFAs。左和右语言;最小DFAs。Brzozowski最小化算法。极小DFAS同构的唯一性。