1. MELJUN P. CORTES, MBA,MPA,BSCS,ACSFall 2008CSC 3130: Automata theory and formal languagesPushdown automataMELJUN CORTES 2. Motivation • We had two ways to describe…