回溯自动机的文法、机器模型及其在解析器中的应用-计算机技术专业论文.docxVIP

万方数据 万方数据 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说 明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切相关责任。 本人签名：_____ _ _ _ 日期：______ _ _ __ 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生 在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留 送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容， 可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合 学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。 （保密的论文在解密后遵守此规定） 本学位论文属于保密，在 年解密后适用本授权书。 本人签名： 导师签名：______ _ _ __ 日 期： 日 期：______ _ _ __ 万方数据 万方数据 摘要 摘要 回溯自动机是对有限自动机的扩展，它是在有限自动机的基础之上增加了一 个状态栈，用于保存自动机运行的部分历史，以便需要时根据栈中的内容来确定 运行的下一状态。回溯自动机自提出后，只给出了其机器模型、定义及瞬时描述， 但并没有给出回溯自动机能够接受的语言的文法。回溯自动机能够识别括号配对 串语言。然而，许多具有嵌套匹配结构的模型，如 XML，不仅包含具有嵌套匹配 关系的标签，标签之间还有其它的字符或者记号。对于这样的语言，回溯自动机 不能识别。 针对上述两个问题，本文定义了回溯自动机能够接受的语言的文法，并对原 有的回溯自动机进行了扩展，提出了扩展的回溯自动机。根据自动机是否为确定 的及自动机是单步回溯还是多步回溯，本文定义了扩展的确定回溯自动机 EDTA、 扩展的确定多步回溯自动机 EDMTA、扩展的非确定回溯自动机 ENTA 和扩展的非 确定多步回溯自动机 ENMTA，并给出了它们的机器模型和对应文法。接着基于扩 展的确定回溯自动机 EDTA 设计并实现了一个 XML 解析器。并对该解析器进行了 测试，实验结果表明该 XML 解析器能够有效的解析 XML 文档。 关键词：有限自动机 回溯自动机 文法 XML 解析器 摘要 Abstract Abstract Traceable automata extend finite state automata with a state stack to store a part of the history of automata running, which facilitate determining the next state according to the content of the stack if necessary. Since the birth of traceable automata, their machine model, definition and instantaneous description have been presented. However, the grammars of traceable automata accepting languages have not be formalized. Further, traceable automata can recognize brackets pairing string language. Nevertheless, they can not recognize such models, like XML, which have the nested matching structures and contain not only the matching label, but also other characters between these labels. To solve the two problems above, this paper firstly defines the grammar s of languages which traceable automata can accept, and then extends the original t