邁希爾－尼羅德定理

在形式語言理論中 ， Myhill – Nerode 定理提供了一個語言是正則語言的必要和充分條件 。 它近乎專門的被用來證明一個給定語言不是正則的 。 這個定理得名於 John Myhill 和 Anil Nerode ， 他們於1958年在芝加哥大學證明了這個定理 。