אוטומטים ושפות פורמליות/אוטומט סופי לא דטרמיניסטי: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
תיקון פניות לקהל הקוראים ללשון רבים במקום לשון זכר יחיד |
|||
שורה 29:
בהנתן אסל"ד <math>N=(Q,\Sigma,q_0,F_N,\delta_N)</math> נבנה אס"ד <math>D=(S,\Sigma,s_0,F_D,\delta_D)</math> באופן הבא:
* כל מצב של <math>D</math> יהיה קבוצה של מצבים מ-<math>N</math>, כלומר <math>S=P(Q)=2^Q</math>
* המצב ההתחלתי - צריך להיות שקול ל-<math>q_0</math> אבל נזכור שכל מצב ב-<math>S</math> הוא '''קבוצה''' של מצבי <math>Q</math>, לכן <math>s_0=\{q_0\}</math>.
* האלפבית זהה
* על מנת להבין את פונקציית המעברים של האס"ד, נחזור לאינטואיציה -
| |||