王帮海 李永明 邱道文 郭秀红 韩召伟

Kleene定理 代数刻画 单体二阶量子逻辑 successor算子 正规文法 量子下推自动机 量子计算 量子语言 形式语言 正交模格 量子上下文无关语言 泵引理 拓扑 有穷自动机 source算子 量子上下文无关文法 自动机 子自动机 Hilbert空间