ula_10 是可区分的 (distinguishable)。如果 formula_9 和 formula_10 不可区分，我们说它们满足关系 (relation) formula_19，数学式子写成 formula_20。我们也很容易证明这种关系是种等价关系(equivalence relation)，因此它可以把 formula_21 划分成一个或多个等价类 (equivalence class)。Myhill–Nerode 定理声称一套语言 formula_8 是正规的「若且唯若」formula