This document provides an introduction and explanation of pushdown automata (PDA). It discusses how PDA are rooted in context-free grammar and can accept context-free languages (CFL). It explains that PDA have two types - deterministic (DPDA) and non-deterministic (NDPDA) - and that the power of NDPDA is greater than DPDA. The document also outlines the 7-tuple formal definition of a PDA and describes the basic functions of push, pop, and skip used to read a PDA. Examples of PDA are provided.