תכננו אוטומט מחסנית שיכריע את השפה L = { 0 n 1 n | n ∈ N } {\displaystyle L=\{0^{n}1^{n}|n\in \mathbb {N} \}} , שכידוע לא ניתן להכריע באוטומט רגיל.