two-stack push down automaton

model in theoretical computer science

en-GB/ˈtuː - ˈstæk ˈpʊʃ ˈdaʊn ɔːˈtɒmətən/
en-US/ˈtu - ˈstæk ˈpʊʃ ˈdaʊn ɑˈtɑməˌtɑn/

カテゴリ：

scientific modelabstract machine