ויקיספר

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
אין תקציר עריכה
שורה 13:
* '''אלפבית''' - קבוצת האותיות שהמכונה מכירה. מסומנת לרוב ב-<math>\Sigma</math>
* '''מצב התחלתי''' - המצב שבו מתחילה המכונה. מסומן כ-<math>q_0</math>
* '''מצבים מקבלים''' - קבוצת המצבים שביוםשסיום עיבוד הקלט בהם מסמל "קבלה" של הקלט. נקראים גם מצבים סופיים, ומסומנים ב<math>F</math>. נשים לב שזוהי תת-קבוצה של כלל מצבי המכונה, כלומר <math>F\subseteq Q</math>
 
בדוגמא לעיל:
אוחזר מתוך "https://he.wikibooks.org/wiki/אוטומטים_ושפות_פורמליות/אוטומט_סופי_דטרמיניסטי"