ויקיספר

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
תיקון פניות לקהל הקוראים ללשון רבים במקום לשון זכר יחיד
שורה 40:
 
== דוגמא ==
ראהראו את האסל"ד הבא, המוגדר מעל האלפבית הבינארי:
 
<center>[[קובץ:NFA-powerset-construction-example.svg]]</center>
שורה 49:
 
<center>[[קובץ:DFA-powerset-construction-example.svg]]</center>
שיםשימו לב למצב <math>\emptyset</math>. האס"ד יגיע אליו אם היה במצב {4} וכעת נקרא התו "1". ואכן, אם באסל"ד המקורי ההינו במצב 4 (אך ורק במצב 4), אם נקרא "1" בקלט המכונה מסתיימת בכשלון. מצב כשלון זה מתואר על ידי הבור <math>\emptyset</math> שניתן להכנס אליו, אבל לא ניתן לצאת ממנו. כמו כן כל המצבים באוטומט הדטרמיניסטי (פרט לבור) הם מצבים מקבלים, מכיוון שהם מכילים את המצב 3 או את המצב 4 שהם מצבים מקבלים במכונה המקורית.
 
=== תרגיל ===
הפוךהפכו את האוטומט הבא לאוטומט דטרמיניסטי
{{תרגיל
|שאלה=נתון האסל"ד הבא מעל <math>\Sigma=\{a,b\}</math>.
אוחזר מתוך "https://he.wikibooks.org/wiki/אוטומטים_ושפות_פורמליות/אוטומט_סופי_לא_דטרמיניסטי"