אוטומטים ושפות פורמליות/אוטומט סופי לא דטרמיניסטי: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
אין תקציר עריכה תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 1:
{{אוטומטים ושפות פורמליות}}
אוטומט סופי לא דטרמיניסטי ('''אסל"ד''') הוא הרחבה של המודל הרגיל, אשר אינה משנה את
במכונה זו ייתכן שלכל מצב יש מספר מעברים שניתן לעבור אליהם בקריאת קלט, כלומר פונקציית המעברים מוגדרת מכל מצב ואות בקלט אל '''סט של מצבים'''.
==מהות אי הדטרמיניזם==
| |||