אוטומטים ושפות פורמליות/אוטומט סופי דטרמיניסטי: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
Pikacholent (שיחה | תרומות) אין תקציר עריכה |
|||
שורה 25:
:- ''' ה"חיצים"''', מעברי המכונה לכל קלט וקלט. כיצד ניתן להגדיר את המעברים הללו בצורה מתמטית?
את המעברים ניתן להגדיר
<center><math>\delta: Q\times \Sigma \to Q</math></center>
[[קובץ:DFAexample.svg|שמאל|ממוזער|250px|דוגמא לאוטומט סופי.]]
|