一类可被l值Turing机识别和l值O型文法生成的自然语言研究.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)FuzzySystems September 一类可被2．值Turing机识别和 2．值O型文法生成的自然语言研究 汤建钢1，2 刘淼2 (1．四川大学数学学院，成都610064；2．伊犁师范学院数学系，伊宁835000) 摘要：本文研究一类自然语言，z．值短语结构语言。这类语言能够被：-值0型文法，或称 为无约束条件：．值文法所生成．并且能够被z．值Turing机所识别．因而刻划了这类自然语 言的语法生成机制和动态转移机制．我们还证明了f-值0型文法与2．值Turin9机是等价的． 关键词：自然语言；f-值Turin9机；Z一值0型文法；l-值递归可枚举语言；1．值短语结 构语言 中图分类号：0235；0135．1文献标识码：A §1 引言及基本知识 关于自然语言的识别与处理，根据Chomsky的理性主义理念，可利用文法将语 言分成类型，分别进行识别与处理．但是自然语言的～个明显特征是具有模糊性，如 何识别和处理具有模糊性的自然语言是一重要课题．为此，从识别自然语言的角度， 也对这一领域做出了重要贡献．Fuzzy有限自动机在学习系统、自动控制、模式识别 和数据库等方面有许多重要的应用f171． 本文研究一类自然语言，被称为c-值短语结构语言，这类语言能够被!．值0型文 法，或称为无约束条件z一值文法所生成，并且能够被f-值Turing机所识别，因而刻 划了这类自然语言的语法生成机制和动态转移机制．我们还证明了f一值0型文法与1． 1收稿日期：2006-04．25． 作者简介：汤建钢(1959．8-)，男，教授，留欧博士，四川大学博士(第二学位)，主要从事拓扑 与序结构、代数与模糊系统、自然语言理解与处理、量子计算与信息等颚域的研究．(E-mail：jg- 00@163．corn) 基金项目：国家自然科学基金(批准号；中波(波兰)政府间科技合作项目；伊犁师范学 院自然科学基金项目 320 模糊系统与数学 第20卷(增刊) 机概念，甚至特例FuzzyTuring机概念至今在文献中出现的还很少，研究的还不够 成熟．因此，从研究自然语言的角度，提出f一值Turing机概念是有必要的．它能够刻 划、识别、处理自然语言的动态特征． 字母表(alphabet)是一非空有限集合，用∑表示，字母表∑中的元素称为该字母 表中的字母(1etter)，也可称为符号或字符(character)． 设∑是一个字母表，则∑上的一个句子是并置起来的有穷符号序列，也称为字、 字符或字符串．Vx∈E+，句子z中字符出现的总个数叫做该句子的长度，记作…．长 ’ 度为0的字符串称为空句子，记为E． 接连接字符串Y组成的，记作xy，并置又称为连接．对于礼≥0，字符串z的n次幂 定义为 (1)zo=E；(2)Xn=妒一1z． a∈∑1，6∈ 设∑1，E2是两个字母表，E1与∑2的乘积(product)为E1∑2={n6 ∑2}． 设E是一个字母表，E的n次幂定义为 (1)Eo={E)；(2)p=∑护1∑，n≥1． ∑oU∑1U∑2U∑3U酽U…． 设二是完备格，其最大元和最小元分别为1和0．并满足无穷分配律．即Vo∈ 为完备的Heiting代数． 设工是完备的Heiting代数，∑是字母表，则映射妒：∑‘一L称为f_值语言，或 称为格值语言．Vx∈∑+，妒(z)表示z属于2．值语言的隶属度． 设妒，‘P1，忱是￡上的f．值语言，则 (1)妒1V妒2是E上的f一值语言，定义为(妒l