量子Büchi自动机的代数及逻辑刻画
양자Büchi자동궤적대수급라집각화
Algebraic and Logical Characterizations of Quantum Büchi Automata