אוטומטים ושפות פורמליות/אוטומט סופי לא דטרמיניסטי: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
Crazy Ivan (שיחה | תרומות) מאין תקציר עריכה |
|||
שורה 37:
<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 עצמה.
* מצבים מקבלים - מספיק שהאסל"ד
== דוגמא ==
|