一类可被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 引言及基本知识