מישהו שלומד מודלים חישוביים ויכול לעזור?

לכתוב אוטומט מחסנית לשפות הבאות:
1. כאשר n>=0 a^(n+1)b^n
2.a^nb^m כאשר n>=0 m>=0 וn שונה מm
3.a^(2n)b^n כאשר n>=0