two-stack push down automaton

model in theoretical computer science

קטגוריות: