您的位置： 专家智库 > >

吴端仪

作品数：3 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 2篇上下文
  • 2篇上下文无关文...
  • 1篇等价
  • 1篇等价类
  • 1篇等价类划分
  • 1篇递归
  • 1篇递归函数
  • 1篇求值
  • 1篇句子生成
  • 1篇函数
  • 1篇CFG
  • 1篇CFL
  • 1篇测试用例

机构

  • 3篇中国科学院软...

作者

  • 3篇吴端仪
  • 2篇陈海明
  • 1篇金蓓弘
  • 1篇黄文集
  • 1篇沈扬
  • 1篇陈雷

年份

  • 2篇2006
  • 1篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
LFC语言检验方法的研究
LFC语言是以上下文无关语言为数据类型的函数式语言，在形式规约获取系统SAQ中用作形式规约语言。LFC语言的检验分成两部分：即上下文无关文法检验和LFC函数检验。本文以LFC语言的检验方法为研究目标，根据这两部分的性质和...
吴端仪
关键词：上下文无关文法等价类划分测试用例
新型递归函数的高效定义手段和求值技术
陈海明金蓓弘黄文集沈扬吴端仪
以上下文无关语言上的递归函数理论为基础的多种类递归函数，是为方便直接地表述问题求解而发展的一个新型数学工具，可广泛用于软件设计、算法研究和编程语言等方面。缺乏实用有效的算法目前是制约其走向实际应用的瓶颈。该项目研究的主要...
关键词：
关键词：递归函数
上下文无关文法的句子生成方法综述
＜正＞1 引言 CFG的句子生成研究,在理论上和应用上都有意义。计算机上求解的许多问题的结构都可以用上下文无关语言表示,这些结构的实例生成都可以转化成文法的句子生成问题。因此在理论上,如何高
吴端仪陈雷陈海明
文献传递
全选 清除 导出
共1页<1>
聚类工具0