高级语言及其语法描述 (2).ppt

练习：G[S]:S?a|ε|(T)T?T,S|S分别给出下列句子的最左和最右推导过程：（1）（a,(a,a))（2）(a,(a,))（1）最左推导：S=(T)=(T,S)=(S,S)=(a,S)=(a,(T))=(a,(T,S))=(a,(S,S))=(a,(a,S))=(a,(a,a))（2）最左推导：S=(T)=(T,S)=(S,S)=(a,S)=(a,(T))=(a,(T,S))=(a,(S,S))=(a,(a,S))=(a,(a,))第31页，共49页，星期日，2025年，2月5日2.３程序语言的语法描述7、例题例１.考虑一个文法Ｇ１：Ｓ?ｂＡ Ａ?ａＡ｜ａ 定义了一个什么样的语言？Ｓ?ｂＡ?ｂａＳ?ｂＡ?ｂａＡ?ｂａａ...Ｓ?ｂＡ?ｂａＡ?ｂａａＡ?…?ｂａａ…ａＬ（Ｇ１）＝｛ｂａｎ｜ｎ≥１｝Ｓ?ｂＡＡ?ａＡ｜ε？第32页，共49页，星期日，2025年，2月5日2.３程序语言的语法描述例２.考虑文法Ｇ２：Ｓ?ＡＢ Ａ?ａＡ｜ａ Ｂ?ｂＢ｜ｂ 定义了一个什么样的语言？分析：Ｓ?ＡＢＳ?ＡＢＡ?ａＡ｜ε？Ｂ?ｂＢ｜ｂ 与Ａ类似由Ａ?ａＡ｜ａ可知，其必产生ａ…ａ，且以此终结?Ｌ（Ｇ２）＝｛ａｍｂｎ｜ｍ，ｎ≥１｝第33页，共49页，星期日，2025年，2月5日2.３程序语言的语法描述例３、构造一个文法Ｇ３，使Ｌ（Ｇ３）＝｛ａｎｂｎ｜ｎ≥１｝分析：Ｇ２与Ｇ３的区别在于，Ｇ３必须使ａ、ｂ出现的次数相等，故而ａ、ｂ必须同时出现。G：Ｓ?ａＳｂ｜ａｂ第34页，共49页，星期日，2025年，2月5日2.３程序语言的语法描述思考:考虑文法D?D；D|TLT?int|charL?L，id|id定义了一个什么样的语言？第35页，共49页，星期日，2025年，2月5日关于高级语言及其语法描述(2)第1页，共49页，星期日，2025年，2月5日常用的高级语言FORTRAN 数值计算COBOL 事务处理PASCAL 结构程序设计ADA 大型程序、嵌入式实时系统PROLOG 逻辑程序设计ALGOL 算法语言C/C++ 系统程序设计Java Internet程序设计第2页，共49页，星期日，2025年，2月5日与机器语言或汇编语言比较，高级语言的优点：较接近于数学语言和工程语言，比较直观、自然和易于理解;便于验证其正确性，易于改错;编写效率高;易于移植.第3页，共49页，星期日，2025年，2月5日2.1程序语言的定义自然语言与计算机语言的区别与联系：计算机程序语言——一个记号系统，类似于自然语言，由语法+语义定义自然语言（1）人与人的通讯工具（2）语义：由环境、背景知识、语气等决定 二义性（常有）——难以形式化计算机语言（1）计算机系统间、人机间通讯工具 （2）具有严格的语法、语义 ——易于形式化（严格）第4页，共49页，星期日，2025年，2月5日2.1程序语言的定义一、语法一组规则，使用它可以形成和产生一个合式的程序，则这组规则称为语法。定义了程序的形式结构，是判断输入字符串是否构成一个形式上（即合式）正确程序的依据。词法规则——单词符号的形成规则，即规定了字母表中 哪样的字符串是一个单词符号。单词符号——语言中具有独立意义的最基本结构。语法规则——语法单位的形成规则，即规定了如何从单 词符号形成更大的结构（即语法单位）。第5页，共49页，星期日，2025年，2月5日2.1程序语言的定义二、语义1、语义规则：一组规则，使用它可以定义一个程序的意义。离开语义，语言只不过是一堆符号的集合；在许多语言中有着形式上完全相同的语法单位，但含义却不尽相同。２、注意：阐明语义要比阐明语法难得多，现在还没有一 种公认的形式系统，借助于它可以自动地构造 出实用的编译程序。本书?基于属性文法的语法制导翻译方法?较接近形式化第6页，共49页，星期日，2025年，2月5日程序语言的基本功能和层次结构程序语言的基本功能：描述数据和对数据的运算。所谓程序，本质上说是描述一定数据的处理过程。第7页，共49页，星期日，2025年，2月5日程序的