介绍编程语言语义的结构化，可操作的方法。