rule judugment 语法 语法是一堆token组成的结构 语义 语义是某个语法结构映射的内容 比如操作语义: 某个语法映射相关操作 指称语义: 语法映射某个映射关系 相关阅读 https://core.ac.uk/download/pdf/82281718.pdf http://pages.di.unipi.it/corradini/Didattica/PLP-15/DOCS/Tennent-DenotationalSemantics.pdf