The pushdown automation $M=(\{q_0, q_1, q_2\}, \{a,b\}, \{0,1\}, \delta, q_0, 0, \{q_0\})$ with
$\delta(q_0,a,0)=\{q_1,10)\}$
$\delta(q_1,a,1)=\{q_1,11)\}$
$\delta(q_0,b,1)=\{q_2,\lambda)\}$
$\delta(q_2,b,1)=\{q_2,\lambda)\}$
$\delta(q_2,\lambda,0)=\{q_0,\lambda)\}$
Accepts the language
- $L=\{a^nb^m \mid n,m \geq 0\}$
- $L=\{a^nb^n \mid n \geq 0\}$
- $L=\{a^nb^m \mid n,m > 0\}$
- $L=\{a^nb^n \mid n > 0\}$