定理陈述 给定一个语言L，定义在字符串上一个关系RL，通过规则x RLy如果没有有区别扩展z，它带有字符串xz和yz之中严格的有一个在L中的性质。容易证明RL是字符串上的等价关系，因此它把所有有限字符串的集合划分成一个或多个等价类。Myhill–Nerode 定理声称在接受L的最小自动机中状态的数目等于在RL中等价类的...