PDA (Push Down Automata) merupakan mesin otomata yang memiliki memori tidak terbatas berupa stack. PDA dapat menerima bahasa bebas konteks dan direpresentasikan dengan 7 tupel yang mencakup state, simbol input, simbol stack, fungsi transisi, state awal, state akhir, dan simbol awal stack. PDA melakukan transisi dengan membaca input atau tanpa membaca input serta menambah atau mengurangi isi stack.