在形式语言理论中，Myhill–Nerode 定理提供了一个语言是正则语言的必要和充分条件。它近乎专门的被用来证明一个给定语言不是正则的。这个定理得名于 John Myhill 和 Anil Nerode，他们于1958年在芝加哥大学证明了这个定理。
定理陈述.给定一个字母集 (alphabet) formula_1 以及其生成的语言 (language) formula_2，我们先来定义两个字串 formula_3 之间彼此的关系：如果对于所有的后接字串 formula_4