程序设计语言原理.PDFVIP

2. 程序设计语言的定义 程序设计语言原理 语言的基本元素 Principle of Programming Languages 词法和语法 语法的形式描述 朴素的语义描述 裘宗燕 操作语义 北京大学数学学院 前后条件和Hoare公理 2009.2～2009.6 指称语义 2009年3月 2 语言的字符集 词法元素 常规语言采用文本形式的表示方式，对于大多数程序设计语言，一个程序就 将一个程序看着给定字符集上的一个字符序列，是最低级的看法，丝毫没有 是一个字符的序列（一维形式） 考虑语言本身和程序中任何层次的结构 完全可能有采用其他程序形式的语言，例如：以图形方式描述程序的语言， 程序语言中最低级的语言单元是词法元素。在字符序列观点向上一层，是把 或者采用特定的二维编排形式的程序的语言。下面不讨论这些情况 一个程序看着一些词法元素的序列 为了定义程序的形式，一个语言必须选定一个基本的字符集合 由程序的字符序列得到词法元素序列的过程就是词法分析 字符集：允许出现在一个语言的程序里的字符的全体 下面介绍各种词法元素： 通常采用标准的编码字符集或者其子集 标识符：用作语言里的关键字，以及为程序对象的命名 有些语言区分了可用在字符字面量、字符串字面量和注释里的字符，和可以 标识符有规定的构造规则，最常见的规则是字母开头的字母数字序列 用在这些部分之外的字符 有些语言允许更宽松的标识符形式，如Lisp，允许（例如） !go+3 实例： Java采用Unicode字符集，ASCII之外的字符可用于注释、标识符、字符和 标识符是程序里的名字，用于为各种用户定义的对象（如变量、常量、函数、 字符串字面量（用于标识符可能并不好） 过程、类型等等）命名 C语言字符集只包含大小写字母、数字和29个标点符号字符，其他字符可 定义好的命名对象可以在程序里的一定区域内通过名字使用 以出现在注释、字符和字符串常量等处，效果由具体实现解释 2009年3月 3 2009年3月 4 词法元素 词法元素 关键字：语言规定了特殊意义的标识符，如C中的if，while ，for 分隔符：用于分隔程序里的不同词法元素的特殊符号或标识符。空格，换行 和制表