5.万花筒:扩展语言:控制流程 5.1 第5章介绍 5.2 if/ Then / 5.2.1 If / Then / Else的Lexer扩展 5.2.2 If / Then / Else的AST扩展 5.2.3 If / Then / Else的解析扩展 5.2.4 用于If / Then / Else的 5.2.5 If / Then /...
3.3 一阶逻辑语言总结 3.3 一阶逻辑语言总结 我们将借此机会重新表述前面的命题逻辑的语法规则,并添加量词的形式化规则;所有这些一起组成一阶逻辑的句法。此外,我们会明确相关表达式的类型。我们将采取约定:〈e<sup>n</sup>, t〉一种由 n 个类型为 e 的参数组成产生一个类型为 t 的表达式的谓词的类型。在这种情况下,我们说 n 是谓词...