two-stack push down automaton

model in theoretical computer science

Категорії: