ערכתי לאחרונה בתאריך 28.11.06 בשעה 19:12 בברכה, aaBlueDragon
אתה בטוח שאתה לו מדבר על אוטומט במקרה? אם כן אז ככה: -מצב מקבל: כל העיגולים האלה שאתה רואה אלו הם מצבים, אך אתה רוצה לבדוק עם האותיות שקיבלת שיכול לשפה, אז אתה מתעסק עם כל אות, עובר מצבים וכל זה ובסוף כשניגמרות האותיות אתה נמצא במצב מסויים. אם המצב שזה הסתיים בו הוא מצב מקבל, זה אומר שהמילה שקיבלת שיכת לשפה המוגדרת, אם לא אז לא. לרב מסמנים מצב מקבל ע"י שני עיגולים (אחד בתוך השני) ומצב מעבר שלא מקבל מסמנים ע"י עיגול אחד. -חיצים: פשוט מאוד, כל חץ שיוצא מתוך כל מצב למצב אחר מסומן לידו אות האחת לפחות. האות והחץ מאפיינים לאיזה מצב ללכת אם קיבלנו את האות שלידו. -מצב מלכודת: אין דרך להראות שהמצב הוא מצב מלכודת, אבל זאת שיטה למלכד את האותיות כשאתה מגלה בשלב מסויים שמה שהתרחש לא שייך לשפה אז אתה נכנס למלכודת שהיא בעצם לופ אין-סופי. למשל הנה דוגמה למלכודת *שפה שפועלת מעל האותיות ABC חוק שפה, אסור שיהיה אף C במילה. נבצע כך: