משפט מייהיל-נרוד


כל מה שרצית לדעת על משפט מייהיל-נרוד:
בתורת השפות הפורמליות, משפט מייהיל-נרוד הוא משפט אשר מספק אפיון של מחלקת השפות הרגולריות ומסייע להבנת המבנה של האוטומט המינימלי אשר מקבל אותן.
המשפט נקרא על שם אניל נרוד וג'ון מייהיל אשר הוכיחו אותו בשנת 1958.

נלקח מויקיפדיה

הגדרות נוספות הקשורות למשפט מייהיל-נרוד:
שפות פורמליות
אוטומטים
משפטים במדעי המחשב