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

תוכן שנמחק תוכן שנוסף
שורה 36:
** באופן פורמלי
<center><math>\delta(s\in S,a\in \Sigma) = \cup_{q\in Eclosure[s]}Eclosure[\delta_N(q,a)]</math></center>
:כאשר <math>Eclosure[W]</math> (נקרא סְגוֹר-אפסילון) מייצג את קבוצת כל המצבים מהםאליהם ניתן להגיע על-ידי מעברי אפסילון בלבד מתוך המצבים שבקבוצה <math>W</math>. הסגור מכיל גם המצבים שבקבוצה W עצמה.
* מצבים מקבלים - מספיק שהאסל"ד הגיע למצב מקבל אחד על מנת שהקלט ייתקבל, לכן באס"ד נקבע כמצבים מקבלים את כל קבוצות המצבים שמכילות לפחות מצב אחד מתוך <math>F_N</math>. כלומר, אם האסל"ד היה יכול לסיים במצב שהוא מקבל, המצב באס"ד שמתאר את קבוצת המצבים של האסל"ד יהיה מקבל.