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

תוכן שנמחק תוכן שנוסף
תיקון מתמטי מצומדנים של קבוצה לסוגריים של חמישייה סדורה (ברור שיש חשיבות לסדר בהגדרת אוטומט, וניתן לראות זאת גם בהמשך הערך - אותו לא ערכתי !)
שורה 13:
אוטומט סופי לא דטרמיניסטי (אסל"ד) <math>\ A</math> מוגדר באמצעות -
 
<math>A=\left\{(\Sigma, Q, q_0, F, \delta\right\})</math>
 
כאשר: