Teori Singkat: PDA

Pushdown Automata adalah mesin komputasi kelas menengah yang memiliki memori tambahan berupa Stack berprinsip LIFO (Last In First Out).

PDA dirancang untuk mengenali Context-Free Grammar (CFG). Jejak derivasi string yang dievaluasi dapat direpresentasikan secara presisi melalui diagram Pohon Penurunan (Parse Tree).