三种语义

操作语义（一步步怎么执行）、指称语义（映射到数学对象）、公理语义（用断言描述效果）。