基于量子逻辑的下推自动机的代数刻画
기우양자라집적하추자동궤적대수각화
Algebraic Characterization of Pushdown Automata Based on Quantum Logic
저자의 최근 논문