אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/משפט מיהיל-נרוד: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
שורה 34:
אם קיימת מילה <math>z</math> כך שאחת מהמילים בשפה והשניה אינה בשפה, נכנה את <math>z</math> '''מילה מפרידה''', ונובע ש-<math>x</math> ו-<math>y</math> אינן באותה מחלקת שקילות, <math> (x,y)\notin R_L</math>.
===== משפט: משפט מיהיל-נרוד =====
מספר המצבים באוטומט (סופי דטרמיניסטי) '''המינימלי''' אשר מקבל את L הוא כמספר מחלקות השקילות שלשב <math>\ R_L</math>