En pushdown-automat (PDA) er en beregningsmodel, der udvider mulighederne for en endelig automat ved at inkorporere en stak. Det er en teoretisk konstruktion, der bruges til at studere den beregningsmæssige kompleksitet af sprog og deres genkendelsesevner. Inden for beregningsmæssig kompleksitetsteori er PDA'en et vigtigt værktøj til at forstå begrænsningerne og