注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 语义分析&&编译原理实验

  2. 一、实验目的 通过上机实习，加深对语法制导翻译原理的理解，掌握将语法分析所识别的语法成分变换为中间代码的语义翻译方法。 二、实验要求 采用递归下降语法制导翻译法，对算术表达式、赋值语句进行语义分析并生成四元式序列。 三、实验的结果验证 1.输入是语法分析后提供的正确的单词串，输出为三地址指令形式的四元式序列。 给出语句串： begin_a:=2+3*4; _x:=(a+b)/c_end# 输出如下三地址指令： （1） t1=3*4 （2） t2=2+t1 （3） a=t2 （4） t3=a+b

  3. 所属分类：C

    • 发布日期：2009-06-02
    • 文件大小：5120
    • 提供者：keaixingkong

  1. 编译原理实验报告 语法分析 语义分析 词法分析 详细的源程序

  2. 附录c 编译程序实验 实验目的：用c语言对一个简单语言的子集编制一个一遍扫描的编译程序，以加深对编译原理的理解,掌握编译程序的实现方法和技术。 语法分析 C2.1 实验目的 编制一个递归下降分析程序,实现对词法分析程序所提供的单词序列的语法检查和结构分析. C2.2 实验要求 利用C语言编制递归下降分析程序,并对简单语言进行语法分析. C2.2.1待分析的简单语言的语法 实验目的 通过上机实习,加深对语法制导翻译原理的理解,掌握将语法分析所识别的语法成分变换为中间代码的语义翻译方法. 实验要求

  3. 所属分类：C

    • 发布日期：2009-11-06
    • 文件大小：687104
    • 提供者：wolfand11

  1. 编译原理——无符号数的算术四则运算语义处理程序实现

  2. 对实验一进行扩展，对识别的无符号数进行计值，并将输出形式改为（类别码，值）的二元式形式。 对实验二进行扩展，计算并输出算术表达式的值。 将实验一与实验二的程序合并。 输入：由无符号数和+，—，*，/, ( , ) 构成的算术表达式。 输出：如果输入单词串是合法的无符号数的算术四则运算，输出运算结果，并且给出每一步的分析过程；如果不是无符号数的算术四则运算，输出“非法四则运算表达式”。

  3. 所属分类：专业指导

    • 发布日期：2010-01-04
    • 文件大小：158720
    • 提供者：childhoodminory

  1. 基于良序集方法的程序终止性证明

  2. 这篇论文是关于程序设计形式语义中的良序集的证明给出了完整的实例，希望对学习程序设计形式语义的同学有所帮助，谢谢！

  3. 所属分类：专业指导

    • 发布日期：2010-01-16
    • 文件大小：152576
    • 提供者：wangkailut

  1. 编译综合实验：选择部分C语言的语法成分，设计其词法分析程序、语法语义分析程序并采用编译的方法将C语言表达式翻译成后缀式形式

  2. 选择部分C语言的语法成分，设计其词法分析程序、语法语义分析程序并采用编译的方法将C语言表达式翻译成后缀式形式

  3. 所属分类：C

    • 发布日期：2010-06-04
    • 文件大小：403456
    • 提供者：skylqf01

  1. 程序设计形式语义学-张琨

  2. 形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究： 帮助理解语言； 支持语言标准化； 指导语言设计； 帮助编写编译器和语言系统； 支持程序验证和软件可靠性； 有助于软件规范化。

  3. 所属分类：专业指导

    • 发布日期：2010-11-23
    • 文件大小：8388608
    • 提供者：gaoyang9870

  1. 形式语言与自动机讲义与习题解答

  2. 形式语言是研究自然语言和人工语言的数学工具，只研究组成规则，不研究语义；自动机理论研究抽象计算装置或“机器”。

  3. 所属分类：专业指导

    • 发布日期：2011-05-13
    • 文件大小：100352
    • 提供者：vanguardlixf

  1. 词法分析，语法分析，语义分析课程设计

  2. 词法分析部分我们遵从一般的规律进行分析，设计，编写程序，运用一般自动机理论构造状态，将状态转化成程序。语法分析部分我们我们采用ｌｌ（１）方法实现，采用ｌｌ（１）方法实现语法发分析要求文法满足以下要求：经过压缩，无左递归，无回溯。 本部分内容是语义分析，主要的功能是把根据词法，语法分析的结果生成中间代码！我们采用的中间代码形式是类似四地址码的形式，只有if 和goto 语句，其他的就是算术和逻辑表达式！我们认为我们已经完成了中间代码的生成要求！

  3. 所属分类：C/C++

    • 发布日期：2011-06-01
    • 文件大小：4194304
    • 提供者：maoguijing

  1. 形式语义课件 pdf 全文

  2. 形式语义学 课件形式语义课件 pdf

  3. 所属分类：数据库

    • 发布日期：2011-12-07
    • 文件大小：1048576
    • 提供者：cao060806110019

  1. 编译原理循环语句语法语义分析

  2. 循环语句语法语义分析，DO-while语句采用LR分析法进行设计的，其中输出中间代码以四元式的形式输出。详细的分析过程

  3. 所属分类：C/C++

    • 发布日期：2012-05-21
    • 文件大小：196608
    • 提供者：piao00lingping

  1. 程序设计语言的形式语义

  2. 我们要把它们（算法，各种程序语言及各种软件框架结构等等）用一种严谨语义表达出来，这种语言能够让我们很好的理解知识的结构及用途，而且便于我们对语义表达出来的知识进行分析。----这就是“语义语言”

  3. 所属分类：其它

    • 发布日期：2015-05-24
    • 文件大小：29360128
    • 提供者：u013046920

  1. 程序设计语言的形式语义

  3. 所属分类：讲义

    • 发布日期：2017-11-12
    • 文件大小：4194304
    • 提供者：qq_26309711

  1. 计算机语言的形式语义(陆汝钤版)

  2. 陆汝钤 1992年版 。

  3. 所属分类：讲义

    • 发布日期：2018-05-14
    • 文件大小：28311552
    • 提供者：liwenjiexiazai

  1. 运行时监视，验证，执行和控制的形式语义

  2. 运行时监视可用于在运行时验证，强制和控制目标程序的动态执行，以检测属性冲突，强制执行所需属性并主动更正执行。 但是，最新的研究缺乏运行时监视的适当形式化程序语义。 在本文中，我们提出了一种在适当形式化级别上的运行时控制的理论，以在控制程序的控制下提供已检测目标程序的形式化程序语义。 我们的理论为运行时监视和控制的实际实现提供了完整的形式语义，但是仍然在实现和通用性之间保持了良好的平衡。 实际上，该理论涵盖了关键实施技术的形式化，例如程序工具，被动监视动作的同步以及根据规范控制程序的综合。 另一方

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：236544
    • 提供者：weixin_38641366

  1. 面向对象定时转换系统的时序图形式分析

  2. 实时嵌入式系统的建模和分析规范（MARTE）提供了一组具有时间属性的图表。 如今，它们经常用于嵌入式实时系统的初步开发阶段。 但是，要验证它们描述的系统并不容易，因为很少有工具可以直接检查它们。 这主要是由于它们的半正式样式，序列图也不例外。 扩展了名为TTS4SD（时序图的定时转换系统）的扩展模型，用于描述具有时间属性的时序图的形式语义，该语义在MARTE中定义。 与大多数现有作品不同，语义从两个方面描述了其完整的行为：固定防护装置时的事件转换和防护装置从一个更改为另一个时的片段转换。 此外，

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：794624
    • 提供者：weixin_38553275

  1. KST：IEC 61131-3结构文本的可执行形式语义，以进行验证

  2. KST：IEC 61131-3结构文本的可执行形式语义，以进行验证

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：1048576
    • 提供者：weixin_38677046

  1. SIMP-abstract-machine：抽象机，用于SIMP（简单命令式语言）的形式语义-源码

  2. SIMP抽象机 在2020/21年间，我在伦敦国王学院（King's College London）担任第二年模块5CCS2PLD编程语言范例的助教。 PLD处理形式语义和编程语言验证。 为了探究语义，模块教科书（《 ）定义了一种教育语言SIMP（简单命令式语言），并为其提供了抽象语法和抽象机器语义。 该项目是SIMP抽象机的Java实现，用于向学生传授SIMP程序的形式化推理。 抽象语法 以下是SIMP抽象语法的简要概述。 该语法在命令包，整数包和布尔包中表示为类和枚举。 抽象机 抽象机解

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：129024
    • 提供者：weixin_42168745

  1. BPMN 2.0编排的形式语义和分析

  2. BPMN 2.0编排的形式语义和分析

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：2097152
    • 提供者：weixin_38706531

  1. 编程语言的语义描述框架概述

  2. 形式语义描述对于编程语言的设计，推理和标准化具有重要意义，并且在编译器的优化中起着重要的作用。 但是，与四十多年来对各种语义框架的研究所付出的努力相比，它们的实际应用无疑令人沮丧。 这项调查回顾了编程语言语义描述框架的发展历史。 它还说明了主要框架的功能和实际应用（包括操作，名词，公理和混合语义）。 在一些实际方面，例如可理解性，可扩展性和适用性，对这些框架进行了定性比较。 它表明，一种更流行的形式语义描述应该在可读性，模块化，抽象性，可比性，合理性，适用性和工具支持方面表现得更加优雅。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：1048576
    • 提供者：weixin_38724349

  1. lambda笔记本：Lambda笔记本：Jupyter中的形式语义-源码

  2. Lambda笔记本：使用Jupyter和Python的形式语义 该项目是语言学家尤其是语义学家开发框架语义分析的框架。 它的目的是根据蒙塔古语法中的片段方法，提供一种开发“数字片段”的方法。 该项目处于Alpha状态。 当代码在github上公开发布时，请期待错误和快速的（有时是不太Swift的）更改。 欢迎您提供文稿，要求和建议。 要查看示例，可以在以下网址找到预渲染的演示笔记本： 。 该项目的首席开发人员是jhu dot edu的 ，kgr。 我是约翰·霍普金斯大学认知科学系的副教授，

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：952320
    • 提供者：weixin_42171208
« 12 3 4 5 6 7 8 9 10 ... 26 »