迈希尔-尼罗德定理 在形式语言理论中MyhillNerode 定理提供了一个语言是正则语言的必要和充分条件它近乎专门的被用来证明一个给定语言不是正则的 这个定理得名于 John Myhill 和 Anil Nerode他们于年在芝加哥大学证明了这个定理