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

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

模糊上下文无关树文法

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

模糊上下文无关文法语法分析和识别的并行算法

通过对模糊上下文无关文法的详细分析,在上下文无关文法语法分析和识别算法的基础上,提出了并行的模糊上下文无关文法语法分析和识别算法,通过实例详细分析了算法的并行处理过程,验证了算法的正确性.

模糊上下文无关文法的判定定理

模糊上下文无关文法是几种重要文法之一.讨论了模糊上下文文法的判定定理.这为进一步讨论模糊上下文无关文法与模糊下推自动机奠定了基础.

格值树自动机与格值上下文无关树文法的等价性

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。

Fuzzy派生树与Fuzzy上下文无关语言的关系

给出了Fuzzy派生树、Fuzzy派生子树及其结果等概念 ,讨论了Fuzzy派生树与Fuzzy上下文无关语言的关系 。

一类上下文无关语法的一个推理算法

本文提供一个关于一类上下文无关语法的推理算法,这个算法由上下文无关语言的性质导出,着重于寻求文法的自嵌套结构。算法限制语言的自嵌套结构具有生成式 A→a_1Aa_2的形式,其中 a_1、a_2∈(V_N∪V_T)且非空。考虑了加强的结构地完备的样品集的大小和结构。并提出了一个语言几次近似的概念。最后,对算法的扩展作了初步的讨论。

模糊上下文无关文法的Chomsky范式和Greibach范式

模糊上下文无关文法的提出和研究成果,极大地丰富了形式语言理论.模糊上下文无关文法的规范化问题是其简化的基础.讨论了任意模糊上下文文法均可以找到其等价的Chomsky范式文法和Greibach范式文法.这为进一步讨论模糊上下文无关文法与模糊下推自动机奠定了基础.

融合越南语语言特征与改进PCFG的越南语短语树库构建

短语树库是自然语言处理的研究和实际应用的重要资源,就越南语而言目前也缺乏这类树库资源,不利于汉越双语信息处理工作.提出一种融合越南语语法特征与改进PCFG(概率上下文无关文法)的越南语短语树库构建方法,能够自动分析出越南语的短语结构树,从而可解决了越南语短语树库的自动构建问题.首先通过分析越南语的语言特征,制定出越南语的语言特征集;然后利用Inside-Outside算法从人工标注的少量越南语短语树获取PCFG模型中的语法规则集;最后将语法特征集作为语法规则集的补充融入PCFG模型,用得到的新模型最终完成越南语短语树库的构建.实验结果表明,新的PCFG模型针对越南语短语树库构建的准确率达到了81.14%,相比传统PCFG模型以及基于最大熵的树库构建方法准确率明显提高了2%~3%.

基于过程模拟树的Web软件一致性检测方法

随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模拟过程中动态检测可执行模型在外部事件(文法描述的)触发下的执行是否存在不一致现象,整个过程以模拟树的方式呈现。该方法能在项目初期检测出模型的设计与需求的不一致,在一定程度上保证模型的一致性。

扰动模糊文法及其语言

引入了扰动模糊文法的概念,讨论了其相应的Chomsky分类,证明了扰动模糊弱正则文法、扰动模糊正则文法和扰动值模糊有限自动机三者等价性.给出了扰动模糊上下文无关文法、最左派生、Chomsky范式和Greibach范式文法的概念,揭示它们的语言之一致性.

一种基于模式覆盖的XML文档自动生成方法

XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XML文档树与字符串之间的对应关系,将正规树文法转换为上下文无关文法,然后利用基于文法覆盖准则的句子生成算法从上下文无关文法中生成一组满足特定覆盖准则的句子,最后将句子还原为XML文档.实例分析和实验结果表明,生成的XML文档能较好地反映模式定义中的各种结构信息,可有效应用于XML模式验证及相关应用程序的功能测试.

数控加工程序的正确性检查

本篇文章从编译原理的角度介绍了G代码的词法分析、语法分析的方法,就其所涉及到的关键概念进行介绍,并以G代码程序为例对这些概念进行举例说明。

基于变型空间代数的自动程序修复方法

基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.

模糊代数系统

引入模糊代数系统及其强解的概念,给出其特有性质。定义proper和V-proper模糊代数系统,并给出其解的一般表达形式。建立模糊代数系统与模糊上下文无关文法相互转化法则。最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解。模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的。

C-编译器的扫描程序与分析程序设计

编译器是将一种语言翻译为另一种语言的计算机程序。编译器将源程序编写的程序作为输入,而产生用目标语言编写的等价程序。编译器的工作过程包括词法分析、语法分析和语义分析。