形式语义学-程序设计语言原理课件_第1页
形式语义学-程序设计语言原理课件_第2页
形式语义学-程序设计语言原理课件_第3页
形式语义学-程序设计语言原理课件_第4页
形式语义学-程序设计语言原理课件_第5页
已阅读5页，还剩49页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

本PPT参考了金英老师的课程内容形式语义学Formasemantics2015/8/2语义定义语义定义:赋予每个合法的程序一个明确的意义语义定义的基本方法,是基于语言的语法结构:定义语言中的基本元素的意义·定义语言中各种语法结构的意义algol60修订报告中用BNF定义语言的语法,采用自然语言的说明和实例的方式,非形式地定义Algol60的语义Backus在讨论Algo60时说:现在我们已经有办法严格定义语言的语法了,希望今后不久就能严格定义语言的语义。至今的语言手册一直沿用这种方式语义远比语法复杂,至今还没有开发出一种完美、功能充分强大、容易理解容易使用的语义定义方式,可很好地用于定义一切语言中一切结构的语义但是,对程序语义的研究已经得到许多成果操作语义学代数语义学程序设计语言逻辑形式语义模型关系公理语义学功能指称语义学函数式描述方法理论基础2015/8/2匚程序设计语言语义形式化语法化|缩译理程序设计语形式语义离散数学程序设计语言理解FormalMethod抽象能力程序设计语言形式语义程序设计方法FormalVerification软件开发方法FormalSpecification2015/8/2前言:“形式语义学”概述●What?形式语义学:给出对(形式)语言及其程序采用形式系统方法进行语义定义的方法分类:从不同的角度研究程序的含义操作语义学(执行)指称语义学(功能)公理语义学(逻辑)代数语义学(代数,抽象数据结构)其他Lambda演算关于Lambda演算入表达式自由变量(计算一个表达式的自由变量集合)替换(计算)变换规则(三种变换)●归约范式(性质及其计算)关于Lambda演算表达式个九表达式由变量名、抽象符号λ,以及括号等符号构成,其语法为:<λ表达式>:=<变量名><λ表达式><λ表达式1λ<变量名><λ表达式(<λ表达式>)2015/8/2关于Lambda演算●变换规则(三种变换)α变换:设E是λ表达式,x是变量,则称下面变换为a变换其中y不在FV(λx)中)Ax.E------)ny.[y/xJEβ变换:设(AxE)和E0为表达式,则称下面变换为变换(称变换规则的左部表达式为基)(入xE)E0EEO/X●n变换:假设入xMx

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论