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

第22卷增刊 模糊系统与数学 V01．22，No．A andMathematics 2008年9月 FuzzySystems Sept．．2008 格值上下文无关文法的范式’ 盛 莉 (集美大学理学院．福建厦门361021) 范式文法的条件。文中结论表明了LCFG的特性与其取值格的代数性质密切相关． 关键词：格半群I格值上下文无关文法；Chomsky范式lGreibach范式 中田分类号：0235；TP301文献标识码tA 经典自动机有四种基本计算模型：有穷状态自动机，下推自动机，线性有界自动机及图灵机。在识别 语言的能力上，它们分别与正则文法，上下文无关文法，上下文有关文法，短语结构文法等价。其中，上下 文无关文法是一种能力较强的描述语言的方法，首先被用来研究人类语言。 同时，上下文无关文法在描述有任意嵌套的对称括号的数学表达式，以及程序设计 语言的模块结构上很有用，因而对上下文无关文法的研究受到普遍关注。本文在文[5]的基础上，继 续在格半群意义下，讨论格值上下文无关文法，找到LCFG的规范文法。 1 基本概念 定义1．1设L为格，V，^分别为L上的上确界与下确界运算，0，1分别为最小元与最大元，· 为￡上的二元运算(半群运算)，且@，·，E)为有单位元eEL的半群，若满足 (1)Va∈L，口·勺=0·a=0； a，b,c∈L，口·(6 f)·a=(6·口)V(c·n) (2)V Vf)=(口·6)V(口·f)及(6V 则称L为格半群。 以下假设L为格半群，设X为有限集，F(x)一{A；X一￡IA是L值模糊集}。 定义1．2格值文法是一个四元组G=(Ⅳ，?，P，S)，这里Ⅳ为非终止符集，丁为终止符集Ⅳ^丁 =囝，T’表示由T中元素组成的有限串的集合，(ⅣU丁)。表示由Ⅳ或丁中元素组成的有限串的集 o D 一∥)表示文法G中产生式(“一口)的隶属度。如果11．』一口，口，卢∈(ⅣU丁)。，则有鲫p—一幻卢，称 纰p可由觑，p直接导出，记作纰p净锄p，又对“1．”，“P∈(ⅣU丁)’，若UlPlU2辛屹…辛P，一-郎时U，称 为可由上式表示的从“，导出的导出链，记作町亭一邯，其中lD=Pl·岛…-n卟 ·收稿日期：2008—06—10 作者简介，盛莉0979一)。女，助教，硕士．研究方向：模糊系统。 模糊系统与数学 对口所有可能的导出链取并。 两个格值文法G。，G2称为等价的，如果它们生成相同的格值语言，即厶．=，c。． 按照文法的Chomsky体系，格值文法可分为4种类型，本文主要研究其中的格值上下文无关文法． —一移∈P，都有I“l≤I口I，且比∈Ⅳ．对应地，厂G称为格值上下文无关语言。 2 LCFG的两种范式 在经典自动机理论中，我们可以看到正则语言的文法是非常规范的，这给正则语言的分析带来了极 大的方便。受此启发，我们希望找到LCFG的规范文法——范式文法。 定义2．1如果格值上下文无关文法LCFG，G=(Ⅳ，T，P，．s)中的所有产生式都具有形式：A—一 定理2．1对于任意LCFGG，存在与之等价的LCNF。 证明 我们分三步进行规范化处理： (1)构造G。一(Ⅳ，T，P，，S)，满足厶．=，G，并且G。中不含形如A一日的单一产生式，这些产生式 ‘ 可能导致如下形式的生成链： A土B，上B：土…上懿竺B骂y(，，各Ⅳ) 我们将所有形如A』■B。，B。j■玩…既旦骂B的生成式用一个单一的生成式A—二y替代，并且P =V{阳：A：：夸pc7}，这里“V”是对G中形如A=--亭+y的所有导出链取并。