TheoryOfComputation/Notes/Unit 4 - Pushdown Automata (PDA)/Class Presentations/L1.1 - Pushdown Automata (Formal Definition).pdf