מישהו יודע דחוף איך אפשר לדעת אם אפשר לעשות לשפה אוטומט מחסנית או אם אי אפשר? לפני שמנסים האם יש איזשהי השערה?

בדרך כלל את תראי שאת לא יכולה לבנות לשפה אוטומט רגיל, מכיוון שהאיברים בשפה תלויים נגיד: a^n b^m c^n+m, ואז את צריכה להכניס a על כל a ו b ולשלוף a על כל c.
ברוב הזמן יבקשו ממך לבנות אוטומט מחסנית שלא תתבלבלי, כי אפשר לפטור דבר כזה גם בעזרת טיורינג