two-stack push down automaton

model in theoretical computer science

Катэгорыі: