thumb|Przykładowy diagram automatu ze stosem Automat ze stosem (, PDA) – automat skończony, który może dodatkowo korzystać ze stosu do przechowywania danych. Domyślnie przyjmuje się, że ten automat jest automatem niedeterministycznym. Takie automaty są równoważne pod względem siły wyrazu gramatykom bezkontekstowym, rozpoznając języki bezkontekstowe. Jeśli nie dopuszcza się możliwości niedeterminizmu, otrzymuje się słabszy model automatu nazywany deterministycznym automatem ze stosem.
Wyposażenie automatu skończonego w dwa stosy zamiast jednego, daje model obliczeń równoważny maszynie Turinga.
Definicja Automat ze stosem definiuje się jako siódemkę gdzie: jest skończonym zbiorem stanów, jest skończonym alfabetem symboli wejściowych, jest skończonym alfabetem symboli stosowych, jest stanem początkowym, jest (opcjonalnym) początkowym elementem na stosie, jest zbiorem stanów końcowych, jest skończonym zbiorem dopuszczalnych przejść.
W literaturze spotyka się dwa kryteria akceptacji wejściowego ciągu: akceptacja przez pusty stos i akceptacja przez stan końcowy.