הנה הסבר..
מצטער מראש על התמונה.. עשיתי את זה עכשיו אחרי שקראתי את התגובה שלך. אני אזכיר לך את האוטומט שאת צריכה לבנות- מעל הAB, כאשר A מופיע N פעמים, B מופיע M פעמים. N<M. לפי מספר פעולה בהודעה, ככה הפקודה צריכה להופיע דאוטומט לפי המספרים. א = A ב = B ד = דחוף ש = שלוף E = אפסילון.. משתשמשים בזה כאשר לא עושים שום פעולה על המחסנית, עושים דחוף אפסילון. _|_ = מחסנית ריקה 1. ד X \ _|_ ,א 4. ד X \ X , א 2. ש X \ X, ב 5. ש X \ X , ב 3. ד E \ _|_, ב אני יודע שזה קצת לא מובן ואני אסביר. על כל A שנקלט, מכניס X למחסנית. על כל B שנקלט מוציא X ממחסנית. ברגע שנקלט B ואין X במחסנית, זאת אומרת שיש B אחד יותר מאשר A ואז זה מגיע למצב מקבל.