7.3.2 程序设计语言的语义
语言的语义也是一组规则,它定义了合法句子的含义,也就是句子的作用和意义,或者说句子的功能。
语言的语义有显示说明和隐式说明。教学时要注意正确完整的介绍语句的语义,当然不一定一次讲完,可分成几处、用不同的形式来说明。例如,在BASIC语言中:
LET A=10+3
明显的含义是将表达式的值13赋给数值型变量A,也就是将13存入变量A的存储区。同时又隐含着变量A占用的存储区域是2个字节,因此变量A的整数取值范围是在-32768~+32767。
在BASIC 语言中,除数组以外对变量没有采用明显的定义,同时变量的类型也十分有限,其目的在于将学习的重点转到程序设计上去。
语义的描述没有BNF和语法图那种形式的工具,一般采用自然语言来进行描述。并且总是结合到具体计算机执行语句对的初态和终态来描述,即采用操作语义学的方法。