Pushdown Automata there are context-free languages that are not regular; Finite automata cannot recognize all context-free languages. Formal Languages & Automata: Chapter 7 - Pushdown Automata includes Finite Automata, Non-deterministic Pushdown Automata, Instantaneous Description.