语义定义 语义定义:赋予每个合法的程序一个明确的意义 语义定义的基本方法,是基于语言的语法结构: 定义语言中的基本元素的意义 定义语言中各种语法结构的意义 algol60修订报告中用BNF定义语言的语法,采用自然语言的说明和实例的 方式,非形式地定义 Algol60的语义。 Backus在讨论Algo60时说:现在我们已经有办法严格定义语言的语法了, 希望今后不久就能严格定义语言的语义。 至今的语言手册一直沿用这种方式 语义远比语法复杂,至今还没有开发出一种完美、功能充分强大、容易理解 容易使用的语义定义方式,可很好地用于定义一切语言中一切结构的语义 但是,对程序语义的研究已经得到许多成果2021/2/5 2