摘要：量子子集构造在正交模块格值有限自动机中进行，然后我们展示正交模块格值有限自动机、正交模块格值确定性有限自动机和正交模块格值空串移有限自动机之间的等价关系。基于这些等价关系，我们研究正交模块格值正则语言的代数运算，并在量子逻辑框架中建立Kleene定理。
作者：Yongming Li
论文ID：0712.4341
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-12-31
PDF 下载： 英文版 中文版pdf翻译中