Zásobníkový automat (PDA z anglického pushdown automaton) je teoretický výpočetní model používaný v informatice pro studium vyčíslitelnosti a obecně formálních jazyků. Popisuje jednoduchý počítač, který má jako pracovní paměť vedle konečně stavové jednotky k dispozici zásobník. Zásobníkový automat dokáže rozpoznávat bezkontextové jazyky.