位置:成果数据库 > 期刊 > 期刊详情页
基于Unsharp量子逻辑的自动机和文法理论
  • ISSN号:1002-8331
  • 期刊名称:计算机工程与应用
  • 时间:2012
  • 页码:57-60
  • 分类:TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]四川省高等学校数值仿真重点实验室,内江师范学院数学与信息科学学院,四川内江641112
  • 相关基金:国家自然科学基金(No.11071178);四川省科技厅重点科技项目(No.2006J13-035);四川省教育厅重点实验室专项(No.2006ZD050).
  • 相关项目:几类自动机的最小化与乘积研究
作者: 彭家寅|
中文摘要:

初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值正则文法所生成的语言等价于某种ε-值自动机识别的语言。讨论了ε-值正则语言在和、连接及反转运算下的封闭性质。

英文摘要:

A fundamental framework of automata and grammar theory based on the two unsharp quantum struc- tures, extended lattice ordered effect algebra and lattice ordered QMV algebra with a certain kind of distributive law, is preliminarily established in this paper. The concept of ε -valued regular grammar is introduced. It is showed that any ε -valued language recognized by ε -valued automaton is equivalent to that generated by some ε-valued regular grammar, the ε-valued language generated by anyε -valued regular grammar is also equivalent to that recognized by some ε-valued automaton. The closure properties of ε -valued language under the operations of sum, concatena- tion and reversal are respectively discussed.

同期刊论文项目
期刊论文 84 会议论文 8
同项目期刊论文
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊(2014版)
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编:怀进鹏
  • 地址:北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编:100083
  • 邮箱:ceaj@vip.163.com
  • 电话:
  • 国际标准刊号:ISSN:1002-8331
  • 国内统一刊号:ISSN:11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:97887