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