量子下推自动机

• orthomodular lattice-valued pushdown automaton