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

* פונקציית המעברים מוגדרת על ידי <math>\delta([x],a)=[xa]</math>, לכל אות <math>a\in \Sigma</math> ולכל מחלקת שקילות <math>[x]\in Q</math>. חשוב לציין כי פונקציה זו מוגדרת היטב מכיוון שמדובר במחלקות שקילות. לא ייתכן ששתי מילים <math>x,y</math> נמצאות באותה מחלקת שקילות, ואילו בשרשוראם נשרשר אות נוספת <math>z</math> נקבל שתי מחלקות שקילות שונות <math>[xz]\ne[yz]</math>, מכיוון שאם כך, הרי <math>z</math> הינה '''מילה מפרידה''', ולאבסתירה ייתכןלכך ש-<math>x,y</math> שייכות לאותה מחלקת שקילות.