主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
韩召伟,李永明.基于量子逻辑的下推自动机与上下文无关文法.软件学报,2010,21(9):2107-2117
基于量子逻辑的下推自动机与上下文无关文法
Pushdown Automata and Context-Free Grammars Based on Quantum Logic
投稿时间:2008-03-23  修订日期:2010-03-29
DOI:
中文关键词:  量子逻辑  正交模格  量子下推自动机  量子上下文无关语言  量子上下文无关文法
英文关键词:quantum logic  orthomodular lattice  orthomodular lattice-valued pushdown automata  orthomodular lattice-valued context-free language  orthomodular lattice-valued context-free grammar
基金项目:Supported by the National Natural Science Foundation of China under Grant No.10571112 (国家自然科学基金); the Youth Technology Project of Shaanxi Normal University of China under Grant No.200701008 (陕西师范大学青年科技项目)
作者单位
韩召伟  
李永明  
摘要点击次数: 3652
全文下载次数: 3525
中文摘要:
      给出基于量子逻辑的下推自动机(e-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的e-VPDA与状态转移为分明函数且具有量子终态的e-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(e-VCFG)的等价性.
英文摘要:
      In this paper, an orthomodular lattice-valued pushdown automaton (e-VPDA) is introduced. This paper also provides the means of general subset-construction, and further proves the fact that an e-VPDA can accept the same l-valued language by final states and by another e-VPDA, with crisp transition relation and quantum final states at the same time. By using these relations, this paper is able to establish some algebraic level characterizations of orthomodular lattice-valued context-free languages and also focuses on the closed properties of these l-valued languages in details under standard operative conditions. Finally, this paper presents that an arbitrary orthomodular lattice-valued context-free grammar (e-VCFG) are mutually equivalently constructed with a e-VPDA, respectively.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利