10 不可区分，我们说它们满足关系 (relation) formula_19，数学式子写成 formula_20。我们也很容易证明这种关系是种等价关系 (equivalence relation)，因此它可以把 formula_21 划分成一个或多个等价类(equivalence class)。Myhill–Nerode 定理声称一套语言 formula_8 是正规的「若且唯若」formula_21 被 formula_19 所切分出的等价类数目是有限的，此外这个等价类数量又恰好是可辨识 formu