程序语言的性质.pptVIP

程序语言的性质;语言的形式化模型;4.1 语言的形式化性质;乔姆斯基分级文法;3型文法：正则文法;2型文法—上下文无关文法;1型文法—上下文有关文法;0型文法—非限定型文法;不可判定性;图灵机;图灵机的结构;图灵机的操作;图灵机的运行;图灵机的能力;停机问题;4.2 语言的语义;语言的语义;语义建模（1）—文法模型;语义建模（2）—命令或操作模型;语义建模（2）—命令或操作模型;语义建模（3）—作用型模型;语义建模（4）—公理模型;语义建模（5）—规约模型;语义模型—小结;语义建模—属性文法;属性文法;属性文法;属性文法;属性文法的使用;指称语义;?-演算;?-演算的表达式;?-表达式的操作;指称语义;指称语义;指称语义;程序验证;程序验证;形式化的规范描述;形式化的规范描述（续）;公理化验证;谓词逻辑公理;语句类型的公理;公理化的程序证明;例子;证明过程概要;证明;证明 (续);公理化验证—小结;程序验证;ML 概述;ML 程序例子;把一个列表颠倒过来的函数;ML 模式匹配;ML 的类型;ML 的结构