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

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

עריכות