基于量子逻辑的有穷自动机与单体二阶量子逻辑 |
| |
作者姓名: | 李永明 |
| |
作者单位: | 陕西师范大学计算机科学学院 |
| |
基金项目: | 国家自然科学基金(批准号:10573112,60873119);教育部高等学校博士点基金(批准号:200807180005)资助项目 |
| |
摘 要: | 文中引入了单体二阶量子逻辑,进而给出了基于量子逻辑的有穷自动机识别语言的逻辑描述,证明了量子逻辑意义下的B(u|¨)chi-Elgot基本定理。通过引入星-自由量子语言与非周期量子语言,完全刻画了可以用一阶量子逻辑定义的量子语言,得到了量子逻辑意义下的Sch(u|¨)tzenberger分类定理。另外,通过引入广义的子集构造方法,还给出了基于量子逻辑的有穷自动机的确定化形式,进而研究了基于量子逻辑的Kleene定理的表现形式。
|
关 键 词: | 量子逻辑 有穷自动机 单体二阶量子逻辑 量子语言 量子计算 Kleene定理 |
本文献已被 维普 等数据库收录! |
|