אוטומטים ושפות פורמליות/אוטומט סופי לא דטרמיניסטי: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
תיקון מתמטי מצומדנים של קבוצה לסוגריים של חמישייה סדורה (ברור שיש חשיבות לסדר בהגדרת אוטומט, וניתן לראות זאת גם בהמשך הערך - אותו לא ערכתי !) |
Pikacholent (שיחה | תרומות) אין תקציר עריכה |
||
שורה 32:
* האלפבית זהה
* על מנת להבין את פונקציית המעברים של האס"ד, נחזור לאינטואיציה -
** מכל מצב ב-<math>Q</math> שהאסל"ד יכול להיות בו, אנחנו עוברים לקבוצה של מצבים הנתונים על-ידי <math>\delta_N</math>. לכן בצורה דומה האס"ד יעבור מקבוצת מצבי ה"מקור" לקבוצה המכילה
** נוסף על כך צריך להתייחס למעברי אפסילון. ייתכן שהאסל"ד עובר למצב, שממנו יש חיצי אפסילון למצבים רבים. המשמעות הוא שהאס"ד למעשה צריך להיות בכלל המצבים הללו גם כן..
** באופן פורמלי
| |||