计算机工程与科学2008，Vol.30Issue(11)：72-74,3.
基于量子逻辑的下推自动机的代数刻画
Algebraic Characterization of Pushdown Automata Based on Quantum Logic
摘要
关键词
量子逻辑/正交模格/量子下推自动机/量子上下文无关语言/代数刻画分类
信息技术与安全科学引用本文复制引用
韩召伟,李永明..基于量子逻辑的下推自动机的代数刻画[J].计算机工程与科学,2008,30(11):72-74,3.基金项目
国家自然科学基金资助项目(10571112) （10571112）
陕两师范大学青年科技项目(200701008) （200701008）
