Problem $4$

a$.$ Use JFLAP to create a NPDA M that accepts $L=\{a^n{b}^{n+1}$:$n0\}.$

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

abb, aabbb, aaaabbbbb, aabb, abbb, aaabb, abab, bbbaa, b$,$ bb$,$ bbbb$,$

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.

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.$