אוטומטים ושפות פורמליות/אוטומט סופי דטרמיניסטי: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←דוגמא: עיצוב, הגהה |
Crazy Ivan (שיחה | תרומות) מאין תקציר עריכה |
||
שורה 1:
{{אוטומטים ושפות פורמליות}}
המודל הראשון שנעסוק בו, הוא '''אוטומט סופי'''. זו היא "מכונת מצבים": בהפעלת המכונה היא מתחילה במצב מסויים, ובמהלך פעולתה היא משנה את המצב הנוכחי בהתאם לקלט.
[[קובץ:FA regexp accept singlesymbol.svg|שמאל|ממוזער|250px|דוגמא למכונת מצבים פשוטה. המכונה מתחילה במצב "p" ואם מתקבל הקלט a היא עוברת למצב "q".]]
שורה 55 ⟵ 56:
|פתרון=(רמז) הוספת 0 למספר בינארי מימינו מכפילה את המספר, והוספת 1 מכפילה ומסיפה 1.
|יישור=ימין}}
{{אוטומטים ושפות פורמליות|מוגבל}}
[[קטגוריה:אוטומטים ושפות פורמליות|אוטומט סופי דטרמיניסטי]]
| |||