无重叠生成文法的一义可解析性及图林等价性.pdfVIP

第17卷第3期 电子设计工授 2009年3月 Electronic V01．17 No．3 DesignEngineering Mar．2009 无重叠生成文法的一义可解析性及图林等价性 张生成‘．张治国2 (1．西安财经学院信息学院，陕西西安710061；2．中山大学信息秤学与技术学院，广东广州510275) 摘要：为了实现有效的文法解析，定义了一种生成规则受限的短语结构文法，称为无重叠生成文法。证明了该类文法 的任何语言句子都可以被无回朔无失败地解析。尽管该类文法的生成规则受到很大的限制．但这种文法的生成能力 仍然和图灵机等同。 关键词：短语结构文法；无重叠生成文法；一义可解析性：图灵等价性 中图分类号：TIBl4 文献标识码：A 文章编号：1006-6977(2009)03--0114-03 of andits Uniquelyparsableoverlap-freegrammarturinguniversality ZHANG Zhi·gu02 Sheng鼍hen91，ZHANG l，School Financeand f Science，Xi’tlurtof Economics，Xi’帆710061．Ch／na； o／Information College 2．hool Scienceand Yatsen ofInformation Technology,SunUnivers矗y,Guan串hou510275，China) Abstract：To ofefficient of newclassof structure caUed implementationparsinggrammars．a phrase grammarsoverlap-free restricted rulesisdefined．Itisshownthat sentencesin OFG canbe grammar(OFG)withrewriting any any language heavily ina without isalsoshownthatOFGisnot of parsedsuccessfullyverysampleway back缸acking．It onlynon-backtracking but alsoofuniversal or oftherestrictions uniquelyparsability generativeability，i．e．Turingequivalenceuniversality，inspite loits roles． rewriting structure Keywords：phrasegrammars；overlap·-freegranlmagB；non·-backtrackinguniquelyparsability；tur／nguniversality G=(ⅣrPS，苇)， 1 引言