Skip to main content
Automata Theory and Logic
Push Down Automata (PDA)
A TUTORIAL
BY
ANIMESH CHATURVEDI
AT
INDIAN INSTITUTE OF TECHNOLOGY INDORE (IIT-I)
Draw PDA for given language
L = {w ∈ {a, b} * : na(w) = nb(w)}
http://www.idt.mdh.se/kurser/cd5560/13_11/LECTURES/pdf/Examples%20of%20NPDA-Linz.pdf
Draw PDA for given language
L = {w ∈ {a, b} * : na(w) = nb(w)}
http://www.idt.mdh.se/kurser/cd5560/13_11/LECTURES/pdf/Examples%20of%20NPDA-Linz.pdf
Draw PDA for given language
Let Σ = { int, +, *, (, ) }
L = { w ∈ Σ* | w is a legal arithmetic expression }Examples:
Example
● int + int * int
● ((int + int) * (int + int)) + (int)
http://web.stanford.edu/class/archive/cs/cs103/cs103.1132/lectures/17/Small17.pdf
Draw PDA for given language
Let Σ = { int, +, *, (, ) }
L = { w ∈ Σ* | w is a legal arithmetic expression }Examples:
Example
● int + int * int
● ((int + int) * (int + int)) + (int)
http://web.stanford.edu/class/archive/cs/cs103/cs103.1132/lectures/17/Small17.pdf
Push Down Automata (PDA)