一种基于概率上下文无关文法的汉语句法分析

本文研究了PCFG独立性假设的局限性,并针对这一局限性提出了句法结构共现的概念以引入上下文信息,给出了计算方法;为了打破中文树库规模过小的局限性,对于句法规则参数的获取,本文利用In-side-Outside算法进行迭代,最后提出了一个基于统计模型的自顶向下的汉语句法分析器。在封闭测试下,其标记精确率和标记召回率分别为88.1%和86.8%。实验结果表明,这种方法确实能够提高标记的精确率和召回率,值得深入研究。

基于量子逻辑的下推自动机与上下文无关文法

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.

上下文无关文法测试充分性

讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 .

用待确定的上下文无关文法分析半结构化数据

对上下文无关文法作了改进，改进后的方法能在语法分析的过程中利用已分析部分的语义信息，得出待分析部分未确定的语法结构，使其可用于处理复杂的半结构化数据．

可交换上下文无关文法

本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。

逐步求精法获取上下文无关文法

文法推断研究如何从语言的有限实例，通过归纳推断获取语言的文法定义． 文中提出一个基于逐步求精的上下文无关文法推断方法，以尝试将文法推断用于替代或帮助传统手工的文法构造工作． 文中的推断方法以Ａｎｇｌｕｉｎ 的交互式学习模型为框架，以逐步求精和复用为主要策略。

格值下推自动机与格值上下文无关文法

引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。

量子上下文无关文法的代数性质

提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。

改进的上下文无关文法及其语法分析

针对一些语言的实际应用情况,对标准的上下文无关文法作了改进,将标准的上下文无关文法定义中的非终结符集合和终结符集合进行细化,使得单词推导和句子推导可以使用同一个过程,即词法分析和语法分析可以在同一个语法分析过程完成。还给出了改进后文法的分析算法及算法的时间复杂度分析,证明用这种改进的方法进行语言文法定义更直观、简洁,其分析算法的时间复杂度优于标准上下文无关文法的分析算法。

一种特殊的上下文无关文法及其语法分析

ＳＡＱ系统是一个进行软件规约获取、检验和复用的实验系统，其中以上下文无关文法表示的概念是规约的一部分．ＳＡＱ要求将概念的词法和句法定义结合在一个上下文无关文法中．如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法，则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去（这种描述方法称为朴素表示法），使得语法描述很累赘．为此，作者设计了一种特殊的上下文无关文法，它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化．用这种文法可以相对简洁地描述程序语言和自然语言等复杂概念的完整定义，而且，其相应的语法分析效率较朴素表示法有所提高．同时，给出相应于这种特殊的上下文无关文法的语法分析和语法树生成算法．这些算法分别由在通用上下文无关语法的Ｅａｒｌｅｙ分析算法及其相应的语法树生成算法的基础上改进而得到．

Fuzzy上下文无关文法与Fuzzy上下文无关语言的性质

:Fuzzy下推自动机与Fuzzy上下文无关文法有紧密的关系 .

格值上下文无关文法的范式

给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关.

基于上下文无关文法的数据抽取规则

在对文本数据文件的数据结构深入分析的基础上,提出了利用上下文无关文法表示数据抽取的规则,指明可以利用XML语言的特点,实现文本数据文件结构的表示文法,解决了文本数据ETL技术中涉及的重要问题,即复杂数据表示问题。

上下文无关文法的可视化描述

上下文无关文法借助有限规则集和递归手段实现语言生成问题的刻画.这一形式系统多以符号串集形式呈现,并因递归技术的应用而渐变复杂,晦涩难懂.文章探讨其可视分析问题,涉及文法到有限状态变迁系统的构造、理论证明和应用方法.这项工作不仅有助形式系统各要素间的关系的直观刻画,而且为结构化推导分析、语义重用奠定基础.

基于双向策略标记上下文无关文法的图算法

一、引言句法分析是自然语言处理的重要基础,相应的研究很多,但是由于速度问题,句法分析很难大规模运用,因此提高分析速度一直是句法分析的重要研究方向。我们知道,句法分析的过程实际上是一个在句法成分树的空间中寻找最优分析树的过程,因此可以把分析过程看成是个搜索最佳路径的过程。在搜索的过程中给些“启发”将提高效率。双向图算法,是个最佳的例证,由于每条规则都有触发类来规定它的使用时机,使得它无论是时间还是空间上都比传统的图算法有更高的效率。

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

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

模糊上下文无关树文法

定义了模糊上下文无关树文法(FCFTG),讨论了其构造性质,给出其分解定理及表现定理,进而讨论了由模糊上下文无关树文法生成的语言IO(Inside out),模糊IO树语言的封闭性.

特殊的上下文无关文法与有限自动机转换的并行处理

对特殊的上下文无关文法—非自嵌入上下文无关文法做了深入的分析,提出了一种从该文法到有限自动机的并行转换算法,以实例详细描述了算法并行处理的过程并验证了算法的可行性.

模糊上下文无关树文法的分解定理和表现定理

定义了模糊上下文无关树文法 (FCFTG) ,讨论了其构造性质 ,给出了其分解定理及表现定理 ,从两个不同的角度 ,阐明了FCFTG与非模糊上下文无关树文法的代数结构之间的关系 。

最大乘积型Fuzzy上下文无关文法与下推自动机

为了扩大现有研究的应用范围,基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念,并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系.研究表明,当且仅当最大乘积型Fuzzy上下文无关文法产生的语言集能被最大乘积型Fuzzy下推自动机接受时,能达到自动识别最大乘积Fuzzy上下文无关语言的目的.