הרעיון הוא להחזיק מונה של ההפרש
בין הרצוי למצוי, באמצעות המחסנית. בכל פעם שרואים g, מגדילים את המונה ב 2. בכל פעם שרואים r, מקטינים את המונה ב 1. מקבלים אם המילה הסתיימה בדיוק כאשר המונה מאופס. בעיות: 1. איך מממשים מונה באמצעות המחסנית? 2. מה עושים עם המונה מגיע מתישהו להיות מספר שלילי? הפתרון: נגדיר שני סימנים בשביל שפת המחסנית: "+" ו "-". בנוסף קיים סימן תחתית המחסנית Z. כיצד עובד האוטומט: בכל פעם שרואים g ובמחסנית יש "+" או "Z", מוסיפים אליה שני "+". בכל פעם שרואים g ובמחסנית יש "-", מוציאים שני "-". אם לאחר הוצאת ה "-" הראשון הגענו לתחתית המחסנחת "Z", אז במקום להוציא, מוסיפים עוד "+". בכל פעם שרואים r ובמחסנית יש "+", מוציאים "+" אחד. בכל פעם שרואים r ובמחסנית יש "Z" או "-", מוסיפים "-" אחד. אם המילה הסתיימה ובמחסנית יש Z, אז מקבלים. אחרת דוחים. פיספסתי משהו? מכיוון שאסור להוציא שני תווים באותו הצעד, אפשר במקום זאת לבצע מסע נוסף, שבו לא קוראים שום דבר מהקלט, ורק מוציאים תו מהמחסנית.
