2、高级语言的语法描述

但去莫复问，白云无尽时

已于 2024-06-10 14:10:57 修改

阅读量1.7k

点赞数 31

分类专栏：编译原理文章标签：开发语言

于 2024-03-18 22:08:42 首次发布

本文链接：https://blog.csdn.net/lijinlijin_/article/details/136585147

版权

编译原理专栏收录该内容

4 篇文章 0 订阅

订阅专栏

本文详细探讨了高级程序设计语言的各个方面，包括语言的定义、语法结构（如词法规则和语法规则）、语义定义方法、程序的层次结构，以及不同类型的编程语言如过程式、应用式、基于规则和面向对象语言的特点。特别关注了上下文无关文法和上下文有关文法的区别。

摘要由CSDN通过智能技术生成

常用的高级程序设计语言

程序语言的定义

语法

一组规则，用它可以形成和产生合适的程序

词法规则：单词符号的形成规则。

单词符号的形成规则单词符号是语言中具有独立意义的最基本结构

一般包括:常数、标识符、基本字、算符、界符等

描述工具:有限自动机

语法规则：语法单位的形成规则。
语法单位通常包括:表达式、语句、分程序、过程函数、程序等；
描述工具:上下文无关文法

语义

一组规则，用它可以定义一个程序的意义

描述方法
        自然语言描述
                二义性、隐藏错误和不完整性
        形式描述
                操作语义
                指称语义
                代数语义

程序的层次结构

高级程序语言的一般特性

高级语言的分类

强制式语言(lmperative Languge)/过程式语言

命令驱动、面向语句

        FORTRAN、C、Pascal， Ada

应用式语言(Applicative Language)

        注重程序所表示的功能，而不是一个语句接一个语句地执行
        LISP、ML

基于规则的语言( Rule-based Language)

        检查一定的条件，当它满足值，则执行适当的动作
        Prolog

面向对象语言(Object-Oriented Language)

        封装、继承和多态性
        Smalltalk，C++,Java

程序语言的语法基础

文法和语言

文法：描述语言的语法结构的形式规则

语言描述的几个基本概念：

字母表：一个有穷字符集，记为∑

字符：字母表中每个元素称为字符

∑上的字(也叫字符串) 是指由∑中的字符所构成的一个有穷序列

不包含任何字符的序列称为空字，记为ε

用∑*表示∑上的所有字的全体，包含空字ε

        例如: 设 ∑={a， b}，则

        ∑*={ε,a,b,aa,ab,ba,bb,aaa,...}

∑*的子集U和V的连接（积）定义为

UV＝{ab | a $eq?%5Cin$ U & b $eq?%5Cin$ V }

示例：设 U＝{ a, aa } V＝ { b, bb }

         UV={ ab, abb, aab, aabb}

V自身的 n次积记为    Vn=V V…V(n个)

V $eq?%5E%7B0%7D$ ={ε}

V*是V的闭包： V*=V0∪V1∪V2∪V3∪…

V+是V的正规闭包：V＋＝V V*

规则（产生式）是一有序对<u,x>,通常写作u->x。

上下文无关文法

上下文无关文法G是一个四元组

G=(VT，VN，S，P)，其中

VT：终结符(Terminal)集合(非空)

VN：非终结符(Noterminal)集合(非空)，且VT $eq?%5Ccup$ VN= $eq?%5Cphi$

S：文法的开始符号，S $eq?%5Cin$ VN

P：产生式集合(有限)，每个产生式形式为 P->a， P $eq?%5Cin$ VN， a $eq?%5Cin$ (VT $eq?%5Ccap$ VN)*

开始符S至少必须在某个产生式的左部出现一次