[include(틀:이산수학·수리논리학)] [include(틀:토막글)] [목차] == 개요 == [[파일:pushdownAutomata.png]] [[오토마타 이론]]에서 다루는 유의미한 형태의 오토마타로, 일반적으로 Input Line과 Automata와 Stack Memory 공간이 있는 Automata를 말한다. [[Chomsky Hierarchy]]에서 Type-2 에 해당하는 Context-Free 문법을 recognize 가능한 Automata다. [[분류:토막글/컴퓨터]]