by ידידה אליהו 7 years ago
663
אוטומט סופי דטרמיניסטי
אוטומט סופי דטרמיניסטי הוא מערכת מתמטית המשמשת לזיהוי שפות פורמליות. הוא כולל קבוצת מצבים, כאשר כל מצב עשוי להיות מצב התחלה או מצב קבלה. המעברים בין המצבים נקבעים על ידי פונקציית מעבר, המכתיבה לאיזה מצב יעבור האוטומט בהתבסס על התו הבא בקלט הנתון.
