DFA，而且这台 DFA 的状态数量刚好就是 formula_21 被 formula_19 所切分出的等价类数量。
用途和结论.Myhill–Nerode 定理的一个结论是语言 "L" 是正则的(就是说可被有限状态机接受)，当且仅当"R" 的等价类的数目是有限的。直接推论是如果一个语言定义等价类的无限集合，它就不是正则的。这个推论经常被用来证明一个语言不是正则的。例如，由可以被 3 整除的二进制数组成的语言是正则的。有三个等价类 3 - 被 3 除的时候余数是 0, 1