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