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