国家自然科学基金(69873042)

作品数：9被引量：22H指数：3
导出分析报告
相关作者：董韫美陈海明王泓皓张强张荣华更多>>
相关机构：中国科学院软件研究所更多>>
相关期刊：《Journal of Computer Science & Technology》《计算机工程与应用》《计算机研究与发展》《软件学报》更多>>
相关主题：上下文无关语言递归函数形式规约语言数据结构语言分析更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Recursive functions of context free languages (Ⅱ)——Validity of CFPRF and CFRF definitions被引量：5
《Science in China(Series F)》2002年第2期81-102,共22页董韫美 
This work was supported by the National Natural Science Foundation of China (Grant No. 69873042) .
In this paper we proved that the function class CFRF and its proper subclass CFPRF are respectively the partial recursive functions and primitive recursive functions of context free languages (CFLs). Also we discussed...
关键词：CFRF CFPRF recursive functions of context free languages bounded operators. 
上下文无关语言上的递归函数——Ⅱ.CFPRF及CFRF定义的合宜性被引量：2
《中国科学（E辑）》2002年第2期254-273,共20页董韫美 
国家自然科学基金资助项目(批准号:69873042)
证明了函数类CFRF及其真子类CFPRF分别就是上下文无关语言（CFL）上的偏递归函数和原始递归函数.讨论了它们与其他论域上定义的递归函数的关系,指出自然数上的函数和字上函数都是CFL上的函数.给出了若干常用的字上原始递归函数,包括逻...
关键词：合宜性 CFRF CFPRF 上下文无关语言 递归函数 受囿极值算子 特征函数 语法分解函数 
Recursive functions of context free languages (Ⅰ)——The definitions of CFPRF and CFRF被引量：5
《Science in China(Series F)》2002年第1期25-39,共15页董韫美 
This work was supported by the National Natural Science Foundation of China (Grant No. 69873042) .
It is intended to establish the recursive function theory on context free languages (CFLs). In this paper, the function class CFRF and its proper subclass CFPRF were defined on CFLs; it is quite straightforward to use...
关键词：CFRF CFPRF recursive functions of context free languages CFL hierarchy enumeration structure induction. 
上下文无关语言上的递归函数——I.CFPRF及CFRF的定义被引量：4
《中国科学（E辑）》2002年第1期103-115,共13页董韫美 
国家自然科学基金资助项目(批准号:69873042)
建立上下文无关语言（CFL）上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳...
关键词：CFRF CFPRF 上下文无关语言 递归函数 CFL分层枚举 结构归纳法 形式文法 可计算性理论 
简单模式的一种匹配方法被引量：1
《计算机工程与应用》2001年第17期63-66,163,共5页张强 陈海明 
国家自然科学基金(编号:69873042);国家"九五"攻关计划(编号:96-729-06-02)的资助
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树...
关键词：函数式语言 模式匹配 简单模式 LFC语言 形式规约语言 
Pattern Matching Compilation of Functions Definedin Context-Free Languages
《Journal of Computer Science & Technology》2001年第2期159-167,共9页陈海明 董韫美 
the National Natural Science Foundation (No.69873042), the National'863' High-Tech Programme (No. 863- 306- 05-04- 1 ), and th
LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integ...
关键词：pattern matching ALGORITHM recursive function context-free  language functional language 
上下文无关语言分析树的一种表示形式被引量：8
《计算机研究与发展》2000年第10期1179-1184,共6页陈海明 董韫美 
国家自然科学基金资助!(项目编号 6 9873 0 42 );国家"九五"攻关计划基金资助!(项目编号 96 -72 9-0 6 -0 2 )
介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而...
关键词：上下文无关语言 树 表示形式 数据结构 
形式规约语言中函数运算的优化被引量：1
《软件学报》2000年第8期1003-1008,共6页张荣华 董韫美 
国家自然科学基金! (No.6 98730 42 );国家"九五"重点科技攻关项目基金! (No.96 - 72 9- 0 6 - 0 2 )资助
在运行时刻 ,由于某些函数参数的取值会造成一些函数被重复调用 ,这在编译时刻是无法被传统的优化器发现的 .针对这种情况 ,提出一种运行时刻的优化方法 .它通过调用依赖图来消除被重复调用的函数 .
关键词：形式规约语言 函数运算 优化 
基于产生式集划分的上下文无关语言句子生成被引量：3
《软件学报》2000年第8期1030-1034,共5页王泓皓 董韫美 
国家自然科学基金! (No.6 98730 42 );国家"九五"重点科技攻关项目基金! (No.96 - 72 9- 0 6 - 0 2 )资助
给出了上下文无关文法 (context- free grammar,简称 CFG)产生式集的一种划分方法 ,可将产生式分为两类 .使用一类产生式进行推导时 ,推导过程将无限进行下去 ;使用另一类进行推导时 ,推导过程将迅速结束 .证明了 CFG句子生成过程一定...
关键词：句子生成 上下无关语言 产生式集划分 随机法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部