two-stack push down automaton

model in theoretical computer science

카테고리: