上下文无关语言

作品数：44被引量：74H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董韫美吴哲辉张继军陈海明彭家寅更多>>
相关机构：中国科学院软件研究所山东农业大学山东科技大学陕西师范大学更多>>
相关期刊：《山东大学学报（理学版）》《计算机工程与应用》《科教导刊》《科学通报》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金“九五”国家科技攻关计划陕西省教育厅自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于正则语言的子集的研究
《科教导刊》2020年第24期36-38,共3页饶淑珍 聂佳 过榴晓 朱平 
江南大学教学教改课题资助;全国大学生创新课题资助。
基于泵引理和正则语言的代数判定定理,本文证明了正则语言的子集未必是正则语言。以L={x|x∈{0,1}^*,且x中(10)和(10)作为子串出现次数相等}为例,文中通过构造等价语言L’={x|x∈{0,1}^*,且x的首尾字符相同}证明了L的正则性,其子集L2={0...
关键词：正则语言 正则语言的代数判定定理 泵引理 上下文无关语言 
基于完备剩余格值逻辑的下推自动机与上下文无关文法被引量：1
《山东大学学报（理学版）》2019年第5期112-126,共15页彭家寅 
教育部与四川省数学与应用数学专业综合改革资助项目(ZG0464;01249);国家自然科学基金资助项目(11071178、11671284);四川省科技厅重大前沿资助项目(2017JY0197);四川省教育厅科研创新团队基金资助项目(15TD0027)
引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等...
关键词：完备剩余格值逻辑 L-值下推自动机 L-值上下文无关文法 L-值上下文无关语言 
上下文无关语言的同步运算及其性质
《电脑编程技巧与维护》2017年第9期5-8,11,共5页冯靓静 
针对上下文无关语言,引入了语言的可重复序列的依赖运算和同步运算,分析了两种运算的性质、特点,给出了可重复序列的依赖表达式、同步串约束表达式;提出了同步串约束上下文无关语言,给出了该类语言的构造规则:对于字母表上的同步串约束...
关键词：同步运算 依赖运算 依赖表达式 同步串约束表达式 同步串约束上下文无关语言 
量化上下文无关语言的代数性质被引量：1
《计算机科学》2017年第7期57-60,88,共5页付雯静 韩召伟 
国家自然科学基金资助项目(11401361;11226266;61572016);中央高校基本科研业务(GK201402002)资助
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
关键词：双幺赋值幺半群 量化下推自动机 量化上下文无关文法 量化上下文无关语言 
取值于赋值幺半群的加权下推自动机的代数性质被引量：1
《陕西师范大学学报（自然科学版）》2017年第3期9-16,共8页付雯静 韩召伟 
国家自然科学基金(11401361;11226266);中央高校基本科研业务费专项资金(GK201402002);陕西省教育厅自然科学专项科研计划(16JK1373)
引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cau...
关键词：赋值幺半群 双幺赋值幺半群 加权下推自动机 加权上下文无关语言 
无标注L型Petri网语言属性判定的一种方法
《中国科学：信息科学》2017年第6期696-714,共19页栾尚敏 田立勤 耿子林 
国家自然科学基金(批准号:61472137);中央高校基本科研业务项目(批准号:3142014007;3142015022);河北省高等学校科学技术研究项目(批准号:Z2014038);青海省重点研发项目(批准号:2016-SF-130)资助
Petri网和自动机是离散事件动态系统建模的两种重要方法,研究这两种模型之间的关系,对于更好地理解和控制离散事件动态系统的行为具有重要作用.本文从形式语言的角度对该问题进行了研究,提出了判定无标注L型Petri网语言属性的方法,引入...
关键词：PETRI网语言 形式语言 自动机理论 可达树 正则语言 上下文无关语言 上下文相关语言 
取值于赋值幺半群的加权上下文无关文法及其语言被引量：1
《模糊系统与数学》2017年第1期165-173,共9页王月 李永明 
国家自然科学基金(批准号:11271237;61228305)
上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证...
关键词：赋值幺半群 加权上下文无关文法 加权上下文无关语言 加权Chomsky范式 加权Greibach范式 
Seeker:流敏感的需求驱动指向分析
《计算机工程》2016年第11期70-75,共6页肖可君 于海波 陈雨亭 钟浩 
国家自然科学基金(61572312)
需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,但实践中存在具有较强流与数据依赖的大型软件系统,较难识别出对目标变量的指向关系产生贡献的程序语句...
关键词：指向分析 需求驱动 流敏感 上下文无关语言 静态分析 
流敏感按需指针别名分析算法被引量：2
《计算机研究与发展》2015年第7期1620-1630,共11页逄龙 苏小红 马培军 赵玲玲 
国家自然科学基金项目(61173021)
为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针分析的额外开销.典型的代表是基于上下文无关文法的按需别名分析算法.但是,该算法的精度只局限于控制流不...
关键词：别名分析 流敏感精度 按需查询 上下文无关语言 图可达性 
Lukasiewicz逻辑值上下文无关语言的代数刻画被引量：1
《计算机工程与应用》2011年第3期47-50,119,共5页韩召伟 韩召莹 
陕西师范大学青年科技项目(No.200701008)
提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l...
关键词：Lukasiewicz逻辑 l值下推自动机 l值模糊上下文无关语言 代数刻画 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部