智能型机译规则库系统IMT-RB/EC

重组在知识库系统中具有十分重要的地位。本文提出了依属性对文法规则库进行多重重组的观点和方法,并介绍了一个基于此观点之上的智能型机译规则库系统IMT-RB/EC,该系统本质上是一个具有学习功能和自组织能力的知识库系统,它具有结构清晰,便于表达知识、分类、精选、检索和可扩充及修改更新的特点。     

矢量文法与PN机

引入串语义下的矢量文法概念,给出矢量文法的类乔姆斯基分类,并就正规矢量文法进行了更细的划分.讨论了矢量文法谱系和标量文法谱系之间的强弱关系,构成了标矢量文法谱系图。指出正规矢量文法与Petri网(也称PN机)语言上的等同关系,引入混杂PN机,并证明其语言与上下文无关矢量文法的语言是等同的.由此部分构成了矢量文法与PN机之间的关系结构.     

LR(K)的语法分解与FPL程序的优化

<正> LR(K)文法是一具有以下优点的形式文法:受限制小;查错功能强;翻译速度快;便于机械生成.但不足之处是:状态多,颇费存贮;且其表示方法不便于阅读,亦不便于插入语义子程序. FPL(Floyd-Evans Production Language)是一种适于表示语法分解程序的形式语言,其优点是便于阅读和插入语义子程序.不足之处是较难以生成紧凑的FPL程序.     

森林文法(Ⅰ)

本文提出了一种高维文法——森林文法,森林文法中产生式的左部和右部都是树结构的并置,本文研究了森林文法的分类,特别研究了它的子类——上下文有关森林文法,并定义了上下文有关森林文法的一个子类——弱优先森林文法。     

LR(K)文法的改进的BMP分析算法

§1 前言LR(k)文法在理论上和实际应用上都有重要意义。但其正规分析算法设置状态太多,占用存储太大,影响了实践使用。对比,已有人提出了一些优化措施,主要是合并状态以减少存储。从而得到熟知的 SLR(K)、LALR(K)文法和文[1]的 BCLR(K)文法、文[2]的 LBLR(K)文法。状态合并一般是从文法状态集到其真子集上的同态映射,因此必然要丢失描述语法分     

森林文法(Ⅱ)

研究了弱优先森林文法的语法分析算法,并对该分析算法的正确性和无二义性进行了证明,给出了一个弱优先森林文法的语法分析过程的示例,最后总结了此项工作的意义并说明了进一步的工作。     

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

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

取值于赋值幺半群的加权上下文无关文法及其语言

上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。     

模糊正则文法的逼近性

为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近.研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的.     

Fuzzy有限态文法的一种推断法

1969年Lee和Zadeh提出了模糊文法,讫今还没有Fuzzy文法的推断方法。本文讨论了Fuzzy有限态文法的一种推断方法——Fuzzy k——头导出法。     

数控机床加工语言的解释程序设计与实现

对数控机床加工程序语言─Ｇ代码采用编译原理的方法来实现解释执行，不但灵活性好，而且执行效率高。本文通过对一般形式Ｇ码用巴科斯范式表示法，归纳出其形式文法规则，并对其规则的词法分析和语法分析给出了实际算法框图。     

格值正则语言的性质

给出了格值正则文法与格值正则语言的定义.从文法的角度来研究语言的性质,讨论了格植正则语言关于正则运算的封闭性及其条件.     

一种简单神经Mealy机的构造

构造一种新型神经Mealy机,神经Mealy机具有一定的学习能力,它主要通过学习来获得(von Newman)计算机结构,可以较好地避免普通计算机那样损毁一条电路就带来灾难性后果的情况.其本质是将递归神经网络通过BP优化算法,对Mealy机进行模拟得到,并通过实验对该网络的学习性能进行研究分析.基于形式文法和自动机的等价性,用神经网络来实现文法推导.先采用神经网络对样本集进行学习,这些样本可由一个经典Mealy机生成,然后从训练完的神经网络提取出自动机.     

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

在文献[1]的基础上,讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系,即:由给定的最大乘积型Fuzzy上下文无关文法可构造一个最大乘积型Fuzzy下推自动机使得二者接受的语言集相同,反之亦然。从而达到自动识别语言的目的。     

Fuzzy 上下文无关语言的Chomsky定理

在关于Fuzzy上下文无关语言的已有成果基础上,进一步考虑简化Fuzzy上下文无关文法,提出用派生刻画Fuzzy上下文无关文法与语言的性质,得到了Fuzzy上下文无关语言的Chomsky定理,并利用Pumping引理来判别一个语言是否为上下文无关语言.     

最大乘积型Fuzzy文法与自动机

本文对提出的最大乘积型Ｆｕｚｚｙ文法与最大乘积型Ｆｕｚｚｙ自动机的关系作了详细讨论，得出了两个重要的结论。即：由给定的最大乘积型Ｆｕｚｚｙ正规文法可构造一个最大乘积型Ｆｕｚｚｙ自动机使得二者接受的语言集相同，反之亦然。从而达到自动识别语言的目的。     

BASIC语言简介(一)

“算法语言”就是适用于“计算机王国”的语言。它有规定的字符、词汇、文法及标点,构成完整的程序。计算机可以精确地实现你用算法语言表达的意图。 BASIC是Beginner’s ALL-purpose SymbolicInstruction Code(初学者通用符号指令代码)的缩     

投入产出与计量经济联合模型研究

经典投入产出(Input-output,IO)模型是一个线性性和确定性系统。尽管IO模型对现实经济世界的描述只是一种近似,但它所特有的细致的部门分类,能深刻揭示某一时点国民经济各部门之间的数量依存关系。计量经济(Econometric,EC)模型具有动态性优点,它能通过概率论来处理现实世界的不确定性。本文试图结合这两种模型的优点,尝试着建立EC+IO联合模型,并运用中国数据进行实证分析,结果证明联合模型能够更真实地模拟宏观经济发展,进行更准确的预测。     

触类旁通相似三角形

在解决相似三角形的相关问题中,要特别注意一些重要的考查点,下面来谈谈这方面的问题. 1 相似三角形的判定 例1 如图1,在矩形ABCD中,AB:BC=5:6,点E在BC上,点F在CD上,且EC＝1/6BC, FC点F在CD上,且EC=1/6BC,FC＝3/5CD,求证:△AFD～△FEC. 分析△AFD与△FEC都为直角三角形,其中∠D＝∠C=90°,要证明△AFD～△FEC,可以证明夹两个角的边对应成比例,可通过已知的边长关系来证明对应边成比例.     

阶段Ⅱ联合检测过程位置和尺度的非参数EWMA控制图（英文）

本文提出了一个基于Cucconi检验的非参数指数加权移动平均(EWMA)控制图(简称为EC图)来同时检测过程位置参数和尺度参数.依据步长分布的均值、方差及分位数,给出了EC图与其他一些现有的非参数EWMA控制图的模拟比较.基于蒙特卡洛的模拟结果表明,EC图具有很好的性能.详细分析了阶段I中参考样本大小对EC图受控性能的影响.最后用一个实例来说明EC图的实际应用。