基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的 “矢量文法“,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析．首先引入一套自成体系的“矢量文法”,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系．最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析。     

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.     

二级属性文法的设计

本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的"矢量文法",并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.     

属性文法及其制导翻译

叙述了属性文法的简明定义及其在语法分析，语义分析和翻译过程中的作用，通过实例说明如何将预测文法改造成Ｌ属性文法，怎样构造相关的替换表，具体翻译时，将分析线与属性语义栈熔为一体，称作下推栈，通过总控程序对栈中符号的处理而实现对程序语言的翻译。     

基于Earley算法的关联文法语法分析的并行处理

关联文法是上下文无关文法的扩展,是在形式规则中加入集合的交运算。该文法比上下文无关文法具有更强的生成能力。通过对该文法深入的分析,提出了一种在并行环境下基于Earley算法的语法分析和识别算法。通过实例描述了算法并行处理的过程,验证算法的可行性和正确性。     

基于图文法的可重构机床配置规划方法

为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法.     

上下文无关格值词语言研究

文章在格半群意义下，提出基于词计算的上下文无关格值文法，证明由其生成的格值词语言关于并与连接运算封闭，及其与乔姆斯基范式文法等价．     

连接文法在并行环境下的语法分析和识别

连接文法是上下文无关文法的扩展,是在形式规则中加入集合的交运算.连接文法比上下文无关文法具有更强的生成能力.通过对连接文法深入的分析,提出了一种在并行环境下的语法分析和识别算法,算法事实是以上下文无关文法并行识别算法为基础提出的.最后以实例详细描述了算法并行处理过程并验证其算法的可行性.     

依存语法概述

依存语法是一种诞生于1959年的基于词间关系的形式语法,它强调以动词为句子中心,其他词汇依存于动词。依存语法具有形式简单、更适合于处理自由语序的语言、与语义关系接近等优势,使得其在处理汉语句子时具有优势。     

一种基于句子分割的文法自动推导算法

信息咨询口语对话系统中的领域文法规则往往需要专家来人工设计。该文针对一种面向汉语口语的上下文无关增强文法,提出了一种基于句子分割的文法自动推导算法。其基本思想是:用初始规则集对训练例句进行分析,若不能得到完整的语法树,则先对分析结果进行消歧和归一化,然后根据顶层成分递归地推导出缺少的规则,并更新已有的规则集。为了提高最终文法的性能,在例句处理顺序和规则更新上对算法基本流程做了改进。在天气预报查询领域进行了实验,结果文法的句法分析准确率在初始规则集为空时达到了64.8%,在初始规则集只包含日期相关规则时达到了86.4%。     

菲尔摩的格语法体系解析

菲尔摩的格语法是在生成语法框架下提出的但又不同于生成语法的句法理论。菲尔摩《"格"辨》一文中格、格框架以及深层格等核心概念的提出以及格语法体系的建构,显示菲尔摩创建格语法的目的在于以语义功能角度定义的格为基础来追求语法描写中语义与句法的融合,进而实现对乔姆斯基转换语法的修正;格语法的意义在于开启句法语义的系统研究。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

浅谈英语语法及其分类(英文)

当代英语语法流派可以粗略地分为三大类:规定性语法、描述性语法和解释性语法。本文简单介绍了各类语法的起源、基本概念及其主要特点,并提出了作者对怎样正确对待传统语法的观点。     

一种高效的通用型自然语言语法分析器系统设计

阐述一个基于合一算法的高效的通用型语法分析器系统的设计原理和方法．着重说明：一种基于功能文法的语法规则的表示形式；基于树的合一算法的原理及其分析；以及如何使系统既具有运行的高效性又具有调试的方便性的总体设计方案．     

基于功能语法的大学英语阅读教学模式设计

传统的大学英语阅读教学对阅读活动的本质没有给予足够重视,对决定语篇交际目的的情景语境和文化语境等要素缺乏必要的分析。可从系统功能语法理论框架角度出发,结合大学英语分级教学的实施,以设计一种较为合理的阅读教学模式。     

基于规则的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的．     

词典和统计相结合的维吾尔文拼写查错方法的研究

本文以维吾尔语拼写检查方法作为研究对象,提出以词典、形态分析、统计为基础的拼写检查方法。维吾尔语是黏着语言,富于形态变化,难以把单词的所有形态收录到词库里。因此,拼写检查时把词干提取方法与词典结合使用。为了保证词干和词缀连接的可靠性,建立基于统计的词干和词缀连接判断模型。上述的方法仅仅能处理词典中存在的单词。因此,在N元语法模型的基础上建立拼写查错模型,准确率为68．58％,一般词典能覆盖80％以上单词,结合统计方法后,差错准确率提高到93．6％以上。