two-stack push down automaton

model in theoretical computer science

หมวดหมู่: