北航研究课程_程序语言设计原理教程_第17章.pptVIP

第16章 指称语义的原理与应用; ● 语义函数和辅助函数 描述二进制数的语义 二进制数 Numeral ::= 0 (16.1-a) ｜ 1 (16.1-b) ｜ Numeral 0 (16.1-c) ｜ Numeral 1 (16.1-d) 我们给出求值的语义函数:将Numeral集合中的对象映射为自然数: valuation: Numeral→Natural (16.2) 按语法的产生式，我们给出以下语义函数: valuation 〖0〗= 0 valuation 〖1〗 = 1 valuation 〖N0〗 = 2 × valuation 〖N〗 ∥N∈Numeral valuation 〖N1〗 = 2 × valuation 〖N〗+ 1; valuation〖1101〗 = 2 × valuatioin 〖110〗+ 1 = 2 × (2 × valuation 〖11〗) + 1 = 2 × (2 ×(2 × valuation 〖1〗+ 1)) + 1 = 2 × (2 ×(2 ×1 + 1)) + 1 = 13 计算器命令的语义描述 计算器命令的抽象语法： Com ::= Expr= (16.3) Expr ::= Num (16.4-a) ｜ Expr + Expr (16.4-b) ｜ Expr - Exp (16.4-c) ｜ Expr * Expr (16.4-d) Num ::= Digit｜Num Digit (16.5) Digit ::= 0｜1｜2｜3｜4｜5｜6｜7｜8｜9 (16.6) execute : Com →lnteger evaluate: Expr →lnteger sum : Integer × Integer → Integer difference : Integer × Integer → Integer product : Integer × Integer → Integer ;以下定义每个短语的语义函数: execute 〖C〗 = execute 〖E=〗 = evaluate 〖E〗 其中C∈Com，E∈Expr。 evaluate 〖N〗= valuation 〖N〗 (N∈Num) evaluate 〖E1 + E2〗 = sum (evaluate 〖E1〗，evaluate 〖E2〗) evaluate 〖E1 - E2〗 = difference (evaluate 〖E1〗，evaluate〖E2〗) evaluate 〖E1 * E2〗 = product (evaluate 〖E1〗, evaluate 〖E2〗) 再定义Num的两个表达式: valuation 〖D〗 = D’ (D∈Digit,D’∈Natural) valuation 〖ND〗= 10 × valuation 〖N〗+ D’ execute 〖40-3*9=〗 =evaluate 〖40-3*9〗 =product (evaluate〖40-3〗，evaluate〖9〗) =product (difference (evaluate 〖40〗，evaluate 〖3〗)， evaluate〖9〗) =product (difference (valuation〖40〗，valuation〖3〗)， valuation〖9〗) =product (difference (40，3)，9) =333;16.1.2 语义域 · 基本域 Character / lnteger / Natural / Trut