ניסיתי לפתור (סתם,בשביל עצמי)
אבל נתקלתי בבעיה. הרעיון שלי בקווים כללים הוא כזה: בפעם הראשונה שרואים a מכניסים A למחסנית ועוברים למצב q_a1 (מכל מצב שהיינו בו קודם). כשאנחנו במצב q_a1, אם אנחנו רואים עוד a-ים, אנחנו לא מכניסים ולא מוציאים ונשארים באותו מצב. אם אנחנו רואים b אנחנו מוציאים A מהחסנית ועוברים למצב q_b1. כשאנחנו במצב q_b1 , אם אנחנו רואים עוד b-ים, אנחנו לא מכניסים ולא מוציאים ונשארים באותו מצב. אם אנחנו רואים a אנחנו מכניסים A למחסנית ועוברים למצב q_a1. זה צריך לקרות n-1 פעמים ואז מגיעים לשלב שבו כמות הb-ים האחרונים צריכה להיות כפולה מכמות הa-ים האחרונים, ואת זה אני יודע לעשות בעזרת אוטומט מחסנית. הבעיה שלי היא איך אני סופר את n-1 המחרוזות הקודמות של a ו b ? איך אני יודע שהיו לי בדיוק n-1? אפשר הכוונה? תודה מראש.