义为：于是则有formula_69。（以上所述中formula_70为空字符，formula_71）此外替换运算和逆同态运算的方法近似。
最小自动机.
等价类自动机.对于一个正则语言，接受该语言的等价类自动机是一个formula_79的5-元组。其定义如下：~被称为Nerode关系，是Myhill-Nerode定理的基础。简单的来说就是对于任意formula_84，如果formula_85，那么x~y。
唯一性.对于任意给定