程序语言理论

柠檬叶子C6 个月前
pl·pl理论·编程语言理论·程序语言理论
【PL理论深化】(2) 语法分析 (Syntax) | 编程语言的语法结构：文法 | 语义结构 (Sematics)目录0x00 语法分析（syntax analysis）0x01 编程语言的语法结构：文法（grammar）
柠檬叶子C6 个月前
pl·pl理论·编程语言理论·程序语言理论
【PL理论】(33) 类型系统：推导树证明 φ ⊢ e∶t | 继续定义关系：γ ⊢ e∶t目录0x00 推导树证明 𝝓 ⊢ 𝒆 ∶ 𝒕0x01 继续定义关系：𝚪 ⊢ 𝒆 ∶ 𝒕对于程序 ，如果我们能画出一个推导树来证明：