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