您的位置： 专家智库 > >

张瑞岭

作品数：7 被引量：14H指数：3
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 2篇学位论文
  • 1篇科技成果

领域

  • 7篇自动化与计算...

主题

  • 5篇上下文
  • 4篇上下文无关文...
  • 3篇文法推断
  • 2篇形式规约
  • 2篇形式语言
  • 2篇语法分析
  • 2篇规约
  • 1篇语言处理
  • 1篇上下文无关语...
  • 1篇人机
  • 1篇人机交互
  • 1篇逐步求精法
  • 1篇自然语言
  • 1篇自然语言处理
  • 1篇文法

机构

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

作者

  • 7篇张瑞岭
  • 2篇董韫美
  • 1篇李开德
  • 1篇黄文集
  • 1篇王泓皓
  • 1篇万战勇
  • 1篇张荣华
  • 1篇张强
  • 1篇陈自明
  • 1篇陈海明

传媒

  • 3篇软件学报
  • 1篇计算机研究与...

年份

  • 1篇2001
  • 1篇2000
  • 2篇1999
  • 2篇1998
  • 1篇1996
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种特殊的上下文无关文法及其语法分析被引量：5
1998年
ＳＡＱ系统是一个进行软件规约获取、检验和复用的实验系统，其中以上下文无关文法表示的概念是规约的一部分．ＳＡＱ要求将概念的词法和句法定义结合在一个上下文无关文法中．如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法，则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去（这种描述方法称为朴素表示法），使得语法描述很累赘．为此，作者设计了一种特殊的上下文无关文法，它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化．用这种文法可以相对简洁地描述程序语言和自然语言等复杂概念的完整定义，而且，其相应的语法分析效率较朴素表示法有所提高．同时，给出相应于这种特殊的上下文无关文法的语法分析和语法树生成算法．这些算法分别由在通用上下文无关语法的Ｅａｒｌｅｙ分析算法及其相应的语法树生成算法的基础上改进而得到．
张瑞岭
关键词：语法分析上下文无关文法
一个上下文无关文法获取过程的设计和实现被引量：6
1998年
文章介绍一个基于复用的上下文无关文法获取过程的设计和实现，该过程用于获取以上下文无关文法表示的概念．它从待获取概念的有限实例和句型以及可能复用的已知概念出发，通过一个交互式文法推断过程。
张瑞岭
关键词：文法推断自然语言处理
以上下文无关语言表示的概念的一个交互式学习过程的实现
如何获得形式规约,在构造新规约时如何充分利用已有的规约知识,以及如何使形式规约与真实需要相符合,是软件自动化的根本问题.该文介绍以上下文无关语言(CFL)表示的概念的一个人机交互获取过程的实现技术,并讨论了对所获取概念的...
张瑞岭
人机交互文法获取研究
该文研究人机交互上下文无关文法获取,并实现一个实验性工具SAQ/CL,以帮助人从对语言的片断的、不精确的认识出发获取语言的文法定义.
张瑞岭
关键词：人机交互形式规约上下文无关文法文法推断语法分析
文法推断研究的历史和现状被引量：5
1999年
文法推断属于形式语言的归纳学习问题，它研究如何从语言的有限信息出发，通过归纳推断得到语言的语法定义．文章综述了文法推断研究的历史和现状．首先阐述文法推断的理论模型，接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模型以及随机上下文无关文法的推断方法，最后简介文法推断的应用，并展望其发展趋势．
张瑞岭
关键词：形式语言文法推断
基于MLIRF方法的软件原型速成技术研究
董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
关键词：
关键词：形式规约
逐步求精法获取上下文无关文法被引量：3
2000年
文法推断研究如何从语言的有限实例，通过归纳推断获取语言的文法定义． 文中提出一个基于逐步求精的上下文无关文法推断方法，以尝试将文法推断用于替代或帮助传统手工的文法构造工作． 文中的推断方法以Ａｎｇｌｕｉｎ 的交互式学习模型为框架，以逐步求精和复用为主要策略。
张瑞岭董韫美
关键词：上下文无关文法形式语言
全选 清除 导出
共1页<1>
聚类工具0