אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/משפט מיהיל-נרוד: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 28:
===הגדרה===
לכל שפה <math>L</math> נגדיר את
<math> (x,y)\in R_L</math> אם"ם לכל מילה <math>z</math> מתקיים אחד מהבאים:
# המילים <math>xz</math> ו-<math>yz</math> שייכות שתיהן ל-<math>L</math>, או
|