What is a Pushdown Automaton (PDA)?

Here we give a high-level overview of a pushdown automaton (PDA), and give the motivation for why we want such a model. It is (going to be) a machine model for the context-free languages, and is essentially an NFA with a stack. If you like this content, please consider subscribing to my channel: https://www.youtube.com/channel/UC3VY6RTXegnoSD_q446oBdg?sub_confirmation=1 ▶ABOUT ME◀ I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.