高级语言及其语法描述
自然语言与计算机语言的区别与联系:
程序语言的定义
对语言的描述是从三个方面来考虑:
语法:是对语言结构的定义;
语义:是描述语言的含义;
语用:是从使用的角度去描述语言。
语法
一组规则,使用它可以形成和产生一个合式(well-formed)的程序,则这组规则称为语法。
词法规则:单词符号的形成规则,用有限自动机来描述
语法规则:语法单位的形成规则,用上下文无关文法来描述
语法定义了程序的形式结构,是判断输入字符串是否构成一个形式上(即合式)正确程序的依据。
合式:符合一定的规格、程式
单词符号:语言中具有独立意义的最基本结构。常数、标识符、基本字、算符、界符等
语法单位:表达式、语句、分程序、过程、函数、程序等
语义
语义规则:一组规则,使用它可以定义一个程序的意义 。
现在还没有一种公认的形式系统,借助于它可以自动地构造出实用的编译程序。
本书→基于属性文法的语法制导翻译方法→较接近形式化
形式描述
操作语义
指称语义
代数语义
程序语言的基本功能和层次结构
程序,本质上说是描述一定数据的处理过程
程序语言的基本功能:
描述数据和对数据的运算
层次结构:
通过对下层单元的理解可以逐渐对上层单元进行理解。