تلفظ بین المللی : /q1azˈije mɑj hilnˈaruːd/ تلفظ : [q1az'ije mAj hiln'aRu:d]
دانشنامه عمومی
در قضیه زبان صوری قضیه مای هیل–نرود (به انگلیسی: Myhill–Nerode theorem) یک شرط لازم و کافی را برای منظم شدن زبان فراهم می کند.این قضیه به اسم جان مای هیل و آنیل نرود که آن را در دانشگاه شیکاگو ثابت نموده اند نام گذاری شده است.(Nerode 1958)زبان L و دو رشتهٔ x و y را در نظر بگیرید. رشتهٔ z را طوری تعریف می کنیم که دقیقاً یکی از رشته های xzیا yz عضو L باشد. یک رابطهٔ RL روی رشته ها به صورتی تعریف می ...
