程序设计语言的定义 (1)_图文.pdfVIP

网页 资讯 视频 图片 知道 文库 贴吧 采购 地图 | 百度首页 登录 加入VIP 意见反馈 下载客户端 7/7/2019 2,程序设计语言的定义(1) - 图文 - 百度文库 首页 分类 精品内容 申请认证 机构合作 频道专区 会员中心 百度文库 专业资料 IT/计算机 计算机软件及应用 程序设计语言原理 程序设计语言原理 Principle of Programming Languages Principle of Programming Languages 裘宗燕 裘宗燕 北京大学数学学院 北京大学数学学院 2012.2 2012.6 2012.2～2012.6 ～ 2. 2. 程序设计语言的定义 程序设计语言的定义 语言的基本元素 语言的基本元素 词法和语法 词法和语法 语法的形式描述 语法的形式描述 朴素的语义描述 朴素的语义描述 操作语义 操作语义 Hoare 前后条件和 Hoare 公理 前后条件和 公理 指称语义 指称语义 2012 2 2 2012 2 2 年 月 年 月 /view/267688fb19252e?fr=search 1/ 15 7/7/2019 2,程序设计语言的定义(1) - 图文 - 百度文库 语言的字符集 语言的字符集 大多数语言采用文本表示形式，其中的程序就是字符的序列 （一维形式） 大多数语言采用文本表示形式，其中的程序就是字符的序列 （一维形式） 完全可以采用其他形式定义语言，如以图形形式描述程序的语言，特定二 完全可以采用其他形式定义语言，如以图形形式描述程序的语言，特定二 维形式的程序的语言。下面讨论的许多情况类似，不专门讨论 维形式的程序的语言。下面讨论的许多情况类似，不专门讨论 为了定义程序的形式，一个语言必须选定一个基本的字符集合 为了定义程序的形式，一个语言必须选定一个基本的字符集合 字符集：允许出现在语言的程序里出现的字符的全体 字符集：允许出现在语言的程序里出现的字符的全体 一些采用标准的编码字符集或其子集，一些语言不定义具体字符集 一些采用标准的编码字符集或其子集，一些语言不定义具体字符集 有些语言区分了可用在语言的主