ch6 归纳定义

形式语义 归纳定义
Formal Semantics
专栏索引 专栏目录 / Formal Semantics / 章节页
Publish Date:   2026-01-25
Word Count:   61

ch6 归纳定义

主要在介绍规则归纳法和特殊的规则归纳法，还引入了算子等概念，主要是在为后面指称语义做准备。

👉 点击这里阅读下一篇：《ch7 指称语义》

Author: linda1729
Link: https://linda1729-blog.netlify.app/posts/2026-01-25-formal-semantics-ch6-inductive-definitions/
Reprint policy: All articles in this blog are used except for special statements CC BY 4.0 reprint policy. If reproduced, please indicate source linda1729 !
形式语义 归纳定义
赏
评论
  TOC