基于粘贴系统的Watson-Crick正则文法及自动机

通过介绍DNA计算中的相关知识，利用DNA语言和粘贴模型及粘贴系统构造watson-crick正则文法，简单介绍TWatson-Crick自动机．     

正则式上右线性文法生成算法

本文旨在给出一种由正则式RE生成有限自动机再生成右线性文法的算法。     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

DNA正则语言与DNA正则文法的对应关系

以生物学的相关知识为背景,在国内外对DNA计算与DNA计算机研究的基础上,利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在经典自动机的基础上定义了DNA自动机、DNA正则语言及DNA正则文法,并证明DNA正则语言与DNA正则文法的对应关系.     

基于完备剩余格值逻辑的下推自动机与上下文无关文法

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。     

Fuzzy正则语言与Fuzzy正则文法的关系

通过对Fuzzy正则语言与Fuzzy正则文法的关系的讨论,得到了二者的等价关系,这是进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的一个起点。     

模糊树语言与模糊树文法的等价性

考虑采用正则表达式,有限自动机和文法来描述,提出了模糊树正则表达式的概念,得到了模糊树正则语言的可识别性,并证明了模糊树语言是正则的充分必要条件,这为进一步讨论模糊树自动机奠定了基础.     

正则语言非正则运算的封闭性

本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性，进而得出正则语言类在非正则运算“∩”、“-”以及“ ”下的封闭性的结论，并具体给出识别三类语言运算的确定型有穷自动机模型．     

云制造模式下机械产品自动化智能服务系统的构建

现阶段的常用的机械产品自动有限元分析法均无法实现服务的高效性和敏捷性。研究首先给出云制造的产品参数化建模优化过程,最后借助正则文法构建有限元分析模型。分类阈值分别为0.4和0.6,结合正则文法的有限元分析模型的精准率分别为0.85和0.86。对比其他模型,研究所给出的FEA模型在具有更高的运行效率和性能,在自动化智能服务系统的设计和实现中提供科学技术。     

Fuzzy 2型属性文法与Fuzzy属性下推自动机

讨论了２型属性文法与属性下推自动机的关系,进一步给出了Ｆｕｚｙ上下文无关属性文法与Ｆｕｚｙ属性下推自动机,并详细讨论了二者的关系,达到了自动识别Ｆｕｚｙ２型属性文法语言的目的     

基于分子重组技术的DNA计算

DNA计算是计算科学和分子生物学相结合的新领域。目前关于DNA计算的研究主要是抽象的计算模型和简单的原理性试验。DNA剪接计算模型是以生物DNA分子重组技术为基础的文法系统。本文主要介绍DNA剪接计算模型的文法结构及计算方法,证明了DNA剪接模型可以计算所有图灵机可计算函数。     

随机正则文法的相似

对于给定的随机正则文法G_8是否存在着一个真正随机正则文法G_8,使得L(G_8)=L(G_8),若存在,又如何求出G_8?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_8求G_(?)的方法,而且还包括判断这样的G_8是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_8总有一个与之相似的真正随机正则文法G_8,其中相似系数由G_8本身唯一决定。     

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

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

文学作品中的超常搭配及其语用效果

超常搭配是语言交际中的一种特殊形式,主要有四种类型：一、词性的超常搭配;二、语法的超常搭配;三、语义的超常搭配;四、色彩的超常搭配等四种形式.它们突破了正常的语法结构规则,在特定语境中产生积极的表达效果.     

文学作品中的超常搭配及其语用效果

超常搭配是语言交际中的一种特殊形式,主要有四种类型:一、词性的超常搭配;二、语法的超常搭配;三、语义的超常搭配;四、色彩的超常搭配等四种形式。它们突破了正常的语法结构规则,在特定语境中产生积极的表达效果。     

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

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

DNA粘接计算模型及其应用

DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论,有利于推动理论计算科学的发展。本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。     

模式语言的本体学习方法

概括了模式语言的本体映射机制,讨论了如何将模式语言映射成一棵语法树,然后使用映射规则将语法树中的元素翻译为本体中相应的概念和关系,最后给出该方法的应用实例.     

一种开源语法检查器的改进

选择基于统计的开源Masaru语法检查器为研究对象,分析技术路线与功能特点,提出了增加3元4元模型方法,并在系统中实现了3元4元语言模型.实验结果表明,改进的语法检查器准确度达到了81%,与原系统相比提高了6个百分点.