有哪些信誉好的足球投注网站- 1、本文档共79页，可阅读全部内容。
- 2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
下推自动机在同步数据流语言可信编译中的应用研究
目录
内容概述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3
1.1研究背景与意义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3
1.1.1数据流语言的发展现状．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．4
1.1.2可信编译的重要性．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5
1.2国内外研究现状．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．6
1.2.1数据流语言编译技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．8
1.2.2下推自动机理论应用．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．9
1.3研究内容与目标．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．11
1.4研究方法与技术路线．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．11
1.5论文结构安排．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．13
相关理论概述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．14
2.1数据流模型．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．15
2.1.1数据流程序特性．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．20
2.1.2激发式数据流模型．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．21
2.2下推自动机．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．23
2.2.1下推自动机定义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．23
2.2.2下推自动机分类．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．25
2.3可信编译原理．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．25
2.3.1可信编译基本概念．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．28
2.3.2可信编译关键技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．29
基于下推自动机的数据流语言形式化描述．．．．．．．．．．．．．．．．．．．31
3.1数据流语言语法构造．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．32
3.1.1数据流语言文法．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．35
3.1.2数据流语言语义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．37
3.2下推自动机建模数据流语言．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．39
3.2.1转换数据流程序为自动机．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．41
3.2.2自动机状态与栈符号对应关系．．．．．．．．．．．．．．．．．．．．．．．．．．44
同步数据流语言的可信编译模型构建．．．．．．．．．．．．．．．．．．．．．．．45
4.1可信编译模型设计原则．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．46
4.2基于下推自动机的编译器架构．．．．．．．．．．．．．．．．．．．．．．．．．．．．47
4.2.1词法分析阶段．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．49
4.2.2语法分析阶段．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．50
4.2.3语义分析阶段．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．51
4.2.4代码生成阶段．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．52
4.3编译过程中的可信保证机制．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．53
4.3.1数据流分析．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．54
4.3.2控制流分析．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．57
4.3.3安全属性验证．．．．．．．．．．．．．．．．．．．．．
文档评论（0）