基于上下文无关文法的可逆变换模型

可逆变换和双向变换等数据转换问题一直是近年来的研究热点,研究人员针对该问题提出了大量相关的语言和模型。但是,这些实现往往建立在一种新的计算模型上,从而导致需要花费较大的学习成本去了解计算模型。另一方面,作为语法解析的基本工具,上下文无关文法对于绝大多数程序员来说都是不陌生的。提出了一种基于上下文无关文法的计算模型,用来构造字符串上的可逆变换,并对其性质和表达能力进行了探讨。采用Scheme语言实现了该计算模型,并通过在MIPS指令集上进行汇编和反汇编开发验证了该模型。验证结果表明,该模型具有较强的表达能力,在添加小型的公共数值变换模块后,可以完整地实现MIPS指令集上的汇编和反汇编。     

语言{InIn》=1}的一个文法描述

介绍了一个描述语言{InIn>=1}的文法.     

语言{I^n^3ln〉=1}的一个文法描述

介绍了一个描述语言{I^n^3ln〉=1}的文法。     

自动生成前端编译程序的一种方法*

本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统．本文在概述了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施．     

基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.     

一个基于属性文法的通信协议形式描述语言及协议开发环境

通信协议是网络技术的核心。由于异质构环境中网络协议固有的复杂性,因此需要研制一磁建立在严格数学模型基础这之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言Ｌ＿ＰＳＡＧ定义一个协议,然后给出一个基于属性文法的协议设     

LR(k)任意文法位置的断点调试方法

LR(k)文法能描述所有确定型上下文无关语言,广泛应用于各类分析器生成器中.传统的LR(k)文法断点调试方法仅支持在产生式右部末尾设置断点(后文简称尾部断点),不支持在产生式右部中间位置设置断点(后文简称中间断点),这给分析器的开发和调试带来了不便.文中提出了一种新颖的LR(k)文法断点调试方法,不但支持传统的尾部断点,还支持中间断点.该方法可显著增加可利用的断点数量,可以跟踪到更细粒度的文法成分,从而帮助用户更好地进行文法调试,降低分析器的开发难度.     

上下文无关文法推断中的几条启发规则及其应用

本文先简要介绍了一种上下文无关文法的推断方法--逐步求精法，然后论述了递归概念在文法推断中的核心作用，并从递归概念的特殊性质出发提出了多条启发规则，能有效减少无效探求和与用户交互的次数，尤其适合于文法较复杂、例句集信息量较大的情况。这些启发规则同时也适用于对上下文无关文法的其它推断方法。     

基于随机无穷自动机的多功能雷达辐射源识别方法

针对基于随机上下文无关文法（SCFG）建模的多功能雷达（MFR）辐射源识别问题,提出了一种基于随机无穷自动机（SISA）的MFR辐射源识别方法。在文法建模的基础上,对“水星”MFR控制模块文法产生式和系统特征文法产生式进行重新构造生成SCFG,利用SCFG构造随机无穷自动机作为识别器,从而实现对测量辐射源的识别。通过理论分析和实验仿真得出：该方法能实现对MFR辐射源的识别;在一定范围内,通过增加文法产生式个数,可以提高平均识别率,且识别性能优于通过SCFG构造的随机下推自动机（SPDA）。实验结果表明了该方法的正确性和有效性。     

Arabic GramCheck: a grammar checker for Arabic

Arabic is a Semitic language that is rich in its morphology and syntax. The very numerous and complex grammar rules of the language may be confusing for the average user of a word processor. In this paper, we report our attempt at developing a grammar checker program for Modern Standard Arabic, called Arabic GramCheck. Arabic GramCheck can help the average user by checking his/her writing for certain common grammatical errors; it describes the problem for him/her and offers suggestions for improvement. The use of the Arabic grammatical checker can increase productivity and improve the quality of the text for anyone who writes Arabic. Arabic GramCheck has been successfully implemented using SICStus Prolog on an IBM PC. The current implementation covers a well‐formed subset of Arabic and focuses on people trying to write in a formal style. Successful tests have been performed using a set of Arabic sentences. It is concluded that the approach is promising by observing the results as compared to the output of a commercially available Arabic grammar checker. Copyright © 2005 John Wiley & Sons, Ltd.     

面向上下文无关语言的信息提取模块化设计

为实现白盒测试的源文件信息提取，提出了通过Lex和Yacc对使用上下文无关文法定义的语言进行词法和语法分析，构建独立的信息提取模块的思想。在函数信息提取部分提出了块和级的概念，用语句结构和语句链表结构将函数定义信息表示出来。在类信息提取部分通过识别出类声明中的成员变量和成员函数的声明信息，建立成员链表结构；识别类声明信息，建立类结构。然后将这些结构信息存入数据库，以供后续模块使用，充分做到了模块独立性和可重用性。这样只需要设计不同的信息提取模块，就可以将目前已经实现的面向C／C＋＋语言的软件测试工具WBoxTool推广应用到其它面向上下文无关文法的语言。     

基于O'Caml语言的通用编程技术

O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写。针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的。实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性。     

基于XML构造文法和COM的智能语音导医平台

介绍了如何利用XML作为一种跨平台的数据描述语言的特点,定义与医院业务相关的语音识别文法和语音合成文法,并将COM技术引用到语音导医平台的设计和实现中,以较小的代价实现了导医系统向智能化语音化导医平台的整体升级。     

一种通用高效语法分析器的设计与实现

针对大型应用软件中嵌入脚本语言问题,提出了一种快捷而通用的语法分析器设计与实现方法。建立了脚本语言文法的描述规范;设计并实现了语法分析的算法。实例表明,该算法实现的语法分析器完全可以达到工程要求。     

针对特定几何语言的句法语义一体化分析方法

提出了一种句法语义一体化的语言分析方法，句法分析和语义理解时采用并行方法，利用两者之间的相互关系实现句法和语义的分析。针对自然语言理解在几何特定领域的约束性，以依存语法为基础，利用标注过的语料库知识，采用规则统计模型，对已经标注好词性语义的句子词串进行句法语义一体化分析，生成符合数学规范的数学表达式。实验证明，建立的系统对100个几何描述的句子进行测试，得到的正确率为98％，在几何领域具有良好的实用性，能够满足实际的需要。     

An interactive method for extracting grammar from programs

The grammar of the language in which some given code is written is essential for developing automated tools for maintenance, reengineering, and program analysis. Frequently grammar is available for a language but not for its variants that are implemented by various vendors and in which the given code may be written. In this work we address the problem of obtaining the grammar from source code, which can then be used for generating tools for the programs. We propose an incremental method for obtaining grammar for a particular language variant, from a set of programs written in the language variant and an approximate grammar (presumably of the standard language) with some user interaction. We also present the design of a tool for implementing this approach and our experience in working with grammars of C, C++ and COBOL. Copyright © 2004 John Wiley & Sons, Ltd.