Problem $5$

a$.$ Use JFLAP to create a NPDA M that accepts $L=\{a^n{b}^m$:$n>m,m0\}.$

$[$Hint: Modify Problem $1$ in Homework $4$ so that $M$ accepts a string only if there is an at

the top of the stack. That is there are some leftover a$\text{'}$s on the stack.$]$

b$.$ Use JFLAP to test $M$ on inputs

aab, aabb, aaabbb, aaaa, aaaabbb, $a^7{b}^5,$ aabaab, $$

c$.$ Give an instantaneous description trace of $M$ with input $w=$ aabbb that

shows that winL$(M).$ Do not use JFLAP to create the instantaneous

description trace of

Submit the JFLAP diagram for the NPDA M$.$ Submit the JFLAP test case. Submit the typed

instantaneous description traces of $M$ with input $w=$ aaabcc. Do not use JFLAP to create the

instantaneous description trace of $M.$