产生的目标程序标准化、形式化的愿望;自动机理论研究的兴旺时期抽象机。抽象机是操作语义的核心,既是具体机器的抽象化,又是自动机的高级化——向着直接反映高级语言语义的方向靠近。MaCarthy,比较明确的提出用抽象机表达操作语义,并用它描述了ALGOL60的一个子集的语义。1964年Landin,SECD(Stack,Environment,Control,Dump);扩充为SM(共享机),描述了ALGOL60完整语义。1968年,Knuth提出属性文法。操作语义操作语义概述(2)传统的操作语义的顶峰是VDL(维也纳定义语言),IBM的维也纳实验室,形式化定义PL/1语言与此同时,英国赫斯利实验室对PL/1语言的形式化被ANSI接受为标准(形式化程度较低,规范的自然语言描述)操作语义的另一个变种是变换语义。用分而治之的思想降低复杂度(抽象复杂度+翻译复杂度)。德国CIP小组提出的广谱语言。M5,M4,M3,M2,M11981,Plotkin提出结构化的操作语义。把公理化方法引入操作语义中,基本思想是:复合成分的操作语义可以归结为其各个组成部分的操作语义。IMP——一种简单的命令式语言IMP语言的语法范畴:N,数集,包括正整数、负整数和零带符号位的正负十进制数的集合T,真值集,T={true,false}Loc,存储单元集字母开头的字母数字串Aexp,算术表达式集Bexp,,命令集IMP——一种简单的命令式语言语法成分的元变量(约定):n,m表示数集N中的元素x,中的元素可以加上标或下标IMP——一种简单的命令式语言算术表达式的抽象语法IMP——一种简单的命令式语言逻辑表达式的抽象语法IMP——一种简单的命令式语言命令的抽象语法四种语句空语句赋值语句分支语句循环语句程序命令、程序语句、程序IMP——一种简单的命令式语言定义2.1:IMP语言的算术表达式、逻辑表达式及命令的抽象语法
全文预览
