句法-词义模式识别中递归结构的文法推断

本文在文献[1]的基础上进一步研究递归结构的句法-词义文法的推断问题.描述体系采 取以基本递归结构为予模式形成分层文法的形式.推断策略是从样本的词义化表述入手,以 形式自相关搜索递归结构,通过模式结构分割建立模式的分层模型,从而构成主干文法和予文 法.这一推断策略具有相当普遍的意义.     

属性文法中变元间的关系

本文从模式的语义、句法描述着眼,分析了一个属性文法的产生式变元间的几种关系,把 这些关系作为语义部分的内容,从而推广了属性文法,以推广后的属性文法为基础,引入控制 连接图作为主要的限制条件,提出一种"语义程序文法",并把标准模式与畸变模式之间的联系 用限制条件描述.最后利用变元间的关系,把模式的描述与知识的表达联系起来.     

基于递归的方法在形式文法教学中的作用

形式化文法是编译理论及程序语言理论重要的研究内容之一,同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论,自动及非自动构造各种编译器的重要基础。通过递归,各种类型复杂度的程序语言都可以用文法简洁地进行描述。递归既是一种静态的结构,同时也是一种动态的计算方法。提出基于递归的形式化文法分析方法,重点包括基于递归的语言定义及基于递归的文法语言计算。     

一种层次化的LSD规则体系及其分析算法

本文提出了一种基于词汇属性结构描述和规则继承的层次化LSD规则体系,讨论了该规则体系下的规则搜索策略和词汇化规则索引的实现方法,并在此基础上首次给出了LSD文法的非确定性分析算法。该规则系统具有从传统属性文法到现代词汇文法的可伸缩性,同时较好地解决了线性规则库中复杂的规则交互问题。     

一种适合于描述无限制手写字符图象的语言CPDL

人们曾为解决特定的识别问题而提出了许多图象描述语言。但到目前为止,还没有任何一种能有效地克服手写字符的形状差异对句法识别的影响。本文在K.S.Fu的形状属性文法的基础上,发展了一种带有位置和形状属性的文法。它只需7个简单的模式元,句子的长度可以人为地加以控制。这种语言的优点是较好地平衡了属性文法的句法部分和词意部分的相对关系,具有较强的描述能力及灵活性,能有效地克服形状的各种变化对句法识别的影响。     

网络通信协议的属性文法规格说明

本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.     

一个上下文无关文法的构造定理及其在推断中的应用

递归概念可以在句子中重复派生、循环出现。对这样的句子推断时,若为递归概念的每一个派生部分引进一个递归概念来描述,将推断出多个与之有相似的产生式结构的递归概念,同时也构造出一个新文法。本文先给出新文法的形式化构造方法,证明了新文法与原文法的等价性。在文章的后部,通过实例,介绍该定理在简化复杂文法推断中的应用。     

一种语义网络

本文提出了一种语义网络.它是以模式识别中的语义句法方法[1,2]为基础,结合专家系 统研究中发展的专家工具网络(ETN)1],2]而形成的. 网络的基本单元是知识块(Course),每个知识块由上下文无关的属性文法描述.为了描 述整个网络,对属性文法作了如下的扩展:(1)将导出树的节点标号、"支"标号理解为可加以 描述的概念;(2)在属性文法中引入控制策略.这种网络结构不仅可用在模式识别的"模式描 述"中,而且可用于人工智能的知识表达.     

模式识别的一类属性文法

本文叙述了在通常的文法中引入两个基元间连接属性的重要性,从而看出在属性文法 中,句法和词意两部分间可以有折衷的关系,即增加后者的复杂性将会使前者得到简化,反之 亦然,这样使便于应用的有限状态属性文法成为基本的形式.这里作者吸取了PDL,Plex Grammar,Tree Grammar中连接关系的优点,引入连接属性,提出一类关联属性文法.这类 文法可以有效地描述和识别曲线段构成的图形,如汉字、电子线路图等.     

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

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

Classical and incremental attribute evaluation by means of recursive procedures

The class of absolutely noncircular (ANC) attribute grammars (AGs) has been heavily studied, mainly because simple and recursive evaluators can be automatically produced for such grammars. We give a characterization of ANC AGs that includes as special cases most of the already existing definitions of this class. Our goal is that of clarifying the relationships among these definitions and also among the evaluators corresponding to them.We show also that for a more restricted class of AGs (the doubly noncircular AGs) recursive incremental evaluators can be constructed in a way very similar to that used for the ANC AGs.     

Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth

It has recently been proved (Je?, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some non-regular languages over a one-letter alphabet. The present paper improves this result by constructing conjunctive grammars for a larger class of unary languages. The results imply undecidability of a number of decision problems of unary conjunctive grammars, as well as non-existence of a recursive function bounding the growth rate of the generated languages. An essential step of the argument is a simulation of a cellular automaton recognizing positional notation of numbers using language equations.     

Semantic specification using two-level grammars: Blocks, procedures and parameters

Formal specifications are presented for the complete syntax and semantics of an ALGOL-like language fragment, using a recently introduced definitional technique employing two-level grammars (W-grammars). The fragment contains several important features whose dynamic semantics have not previously been treated by means of this technique: block structure, (recursive) procedures, and parameters passed by value, by reference, and by name. The degree of conciseness, clarity, etc., of the specifications is comparable to that obtainable with other approaches to formal seamantics, and it is concluded that two-level grammars must currently be regarded as a competitive approach for progress in language specification.     

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

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

String and graph grammar characterizations of bounded regular languages

Two grammatical characterizations of the bounded regular languages are presented: one in terms of graph grammars, the other using string grammars. First it is shown that a class of state graphs recognizing the bounded regular languages can be generated by a particular second-order contextfree graph grammar. Next we call uniquely recursive a right-linear (string) grammar having at most one right-recursive production for each of its nonterminals. It is then established that the class of languages generated by uniquely recursive, sequential right-linear grammars is exactly the bounded regular languages. Some comments on the relationship between string and graph grammars are made.