基于量子逻辑的确定型正则语言的代数性质

摘要：

本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画,进一步讨论了其在更广泛的代数运算-Dl-代换、EDl-代换、El-代换下的封闭性.

关键词： 量子逻辑 有穷自动机 Dl-正则语言 Dl-正则代换 代数性质

作者: 李平 李永明

作者单位: 陕西师范大学数学与信息科学学院,陕西西安 710062 陕西师范大学数学与信息科学学院,陕西西安 710062 陕西师范大学计算机科学学院,陕西西安 710062

会议类型: 国内会议

会议名称: 第六届中国不确定系统年会

会议地点: 洛阳

会议语种:中文

页码: 255-260

在线出版日期: 2008-08-03（万方平台首次上网日期，不代表论文的发表时间）