CISC 603 M7 HW
Pushdown Automata
Provide solutions to the following exercises. Solutions should be in the form of a hand-drawn transition graph (you may instead use a software tool like the Finite State Machine Designer). Note: Text descriptions and ASCII images will not be accepted.
Linz Section 7.1 exercises 1, 2, 3a-c, 7
Find a PDA that accepts the language L={a^(n)b^(2n):n>=0}.
Show the sequence of instantaneous descriptions for the acceptance of aabbbb by the PDA in Exercise 1.
Construct NPDA's that accept the following regular languages:
(a) L1=L(aaa*bab).
(b) L2=L(aab*aba*).
(c) The union of L1 and L2.
Construct an NPDA that accepts the language L={a^(n)b^(m):n>=0,n!=m}.