2. 您的位置
3. 首页
4. 期刊论文
5. 基于量子逻辑的下推自动机与上下文无关文法

基于量子逻辑的下推自动机与上下文无关文法

来源 :软件学报 | 被引量 : 0次 | 上传用户：ch101732

【摘 要】

：

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量

【作 者】

：

韩召伟  李永明 

【机 构】

：

陕西师范大学计算机科学学院,陕西师范大学数学与信息科学学院

【出 处】

：

软件学报

【发表日期】

：

2010年09期

【关键词】

：

量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法 

【基金项目】

：

国家自然科学基金No.10571112;陕西师范大学青年科技项目No.200701008~~

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.

其他文献

基于因子分析的古代针灸治疗中风半身不遂症用穴规律研究

目的:探讨因子分析在针灸处方数据处理中的应用,获取中风半身不遂症的古代针灸处方腧穴使用规律。方法:利用文献学方法,收集并整理先秦至清末关于中风半身不遂症的针灸处方,

期刊

针灸处方中风病半身不遂因子分析频数分布统计

灰阶超声联合弹性成像评估乳头状甲状腺微小癌甲状腺外浸润

目的探讨灰阶超声联合弹性成像预测乳头状甲状腺微小癌(PTMC)外浸润的价值。方法回顾性分析82例共96个PTMC病灶的超声特征及相关的病理结果,超声特征包括病灶的数量、位置、

期刊

超声检查弹性成像技术乳头状甲状腺微小癌甲状腺外浸润

台湾甜柿病虫害的防治技术

本文介绍了台湾甜柿的生物学特性,分析了游洋镇种植台湾甜柿所获得的经济效益,并重点阐述了台湾甜柿在生长过程中的主要病虫害种类及防治技术,以其为今后快速有效防治台湾甜

期刊

台湾甜柿病虫害种类防治技术

软件体系结构评估技术

作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3类:基于场景的评估

期刊

软件体系结构软件体系结构评估软件质量

萨蒂和“六人团”

<正> 法国的现代音乐是从印象派音乐开始的。可是,笫一次世界大战后,法国音乐又接着出现了反印象主义的倾向。拉威尔,通常被认为是德彪西以后另一位最重要的法国印象派作曲家

期刊

六人团科克托奥涅格作曲家印象派音乐德彪西音乐风格法国音乐多调性音乐语言

基于“三位一体”功能的金融营销学项目教学研究

项目教学法是一种教师和学生在项目实施过程中共同完成教学任务的过程的行为引导教学方式。金融营销学的应用性特点与项目教学法很相匹配。金融营销学项目教学具有"三位一体"

期刊

“三位一体”金融营销学项目教学

量子可逆逻辑综合的关键技术及其算法

最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工

期刊

量子可逆逻辑可逆逻辑优化自动生成与优化可逆逻辑综合Hash函数关键词

世界银行扶贫贷款项目机构的满意度与期望值研究

本文是关于中国西南扶贫世界银行贷款项目贵州项目区受益农户、业务局对世行扶贫项目机构的满意度、管理印象、期望值的调查结果的实证分析。调查结果显示 ,不同民族、不同文

期刊

项目机构满意度期望值

岚山港临时海洋倾倒区表层沉积物重金属含量与底栖生物的关系

文章以2009年9月岚山港临时海洋倾倒区海域跟踪监测数据为基础，分析了该倾倒区海域表层沉积物重金属含量与底栖生物的相关性，发现重金属含量和底栖生物总种数呈负相关性。疏浚

期刊

岚山港倾倒区沉积物重金属底栖生物多样性指数

法国轻歌剧之父——奥芬巴赫

<正> 1855年秋天,巴黎的香爱丽榭出现了一家叫做“快乐的巴黎人”(Bouffes-Parisiens)的剧院。它上演的是一种新型的歌剧。这种歌剧幕次较少,其中有歌唱,有对自、有音乐、有

期刊

奥芬巴赫音乐家