Acceptance of a string by Pushdown Automaton
Are PDFAs and CFGs equivalent?
Can an NFA simulate a PDFA?
What is maximum size of stack in PDFA?