前后文无关文法和语言学案.ppt

第二章 前后文无关文法和语言;本章目的;本章难重点;文法及语言的表示;“我是大学生”。是汉语的一个句子; “我是大学生”的构成符合上述规则，而“我大学生是”不符合上述规则，我们说它不是句子。这些规则成为我们判别句子结构合法与否的依据，换句话说，这些规则看成是一种元语言，用它描述汉语。这里仅仅涉及汉语句子的结构描述。其中一种描述元语言称为文法。 ;英语句子;语言概述;研究程序设计语言 语法：每个程序构成的规律 语义：每个程序的含义 1、语法 -- 表示构成语言句子的各个记号之间的组合规律。语法包括：词法规则和语法规则 例如：C语法规定了构成条件语句的各个记号的组合规律为：第一个单词（记号）必须是”if”，然后是单词”(”、表达式，….。 2、语义 -- 表示各个记号的特定含义。（各个记号和记号所表示的对象之间的关系） 对一个语言来说，不仅要给出它的词法、语法规则，而且要定义它的单词符号和语法单位的意义。离开语义，语言只不过是一堆符号的集合。 所谓一个语言的语义是这样的一组规则，使用它可以定义一个程序的意义。这些规则称为语义规则。 阐明语义要比阐明语法难的多，现在还没有一种形式系统描述语义。 ; 例如：我们根据C语法可以判断出声明语句”int i=999;”是正确的，但是无法判断出声明语句”int i=9999999;”是错误的，因为该语句的语法没有错误（即单词的排列顺序是对的），其错误是因为数值9999999超过了整型变量的最大允许值。这个错误就需要语义检查才能发现。 如果不考虑语义，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什么符号串能出现的方式来陈述。形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。 ;有关定义和记号; 符号串s的头（前缀）：移走符号串s尾部的零个或多于零个符号得到的符号串. 如：b是符号串banana的一个前缀. 符号串s的尾（后缀）：删去符号串s头??的零个或多于零个符号得到的符号串. 如:nana是符号串banana的一个后缀. 符号串s的子串：从s中删去一个前缀和一个后缀得到的符号串. 如:ana是符号串banana的一个子串.;符号串的运算 符号串的长度：符号串中符号的个数.符号串s的长度记为|s|。 ε的长度为0 连接：符号串x、y的连接,是把y的符号写在x的符号之后得到的符号串xy 如 x=ab,y=cd 则 xy=abcd 有εa = aε 方幂：符号串自身连接n次得到的符号串 an 定义为 aa…aa n个a a1=a, a2=aa则a0=ε 符号串集合：若集合A中所有元素都是某字母表?上的符号串，则称A为字母表?上的符号串集合。;两个符号串集合A和B的乘积定义为 AB =?xy|x?A且y?B? 若集合A=?ab,cde?，B = ?0,1? 则 AB =?ab1,ab0,cde0,cde1? 使用 ?*表示?上的一切符号串（包括ε）组成的集合。Σ*称为Σ的闭包。 ?上的除ε外的所有符号串组成的集合记为?+ 。 Σ+称为Σ的正闭包。;例：Σ={a,b} Σ*={ε,a,b,aa,ab,ba,bb,aaa,aab,…} Σ+={a,b,aa,ab,ba,bb,aaa,aab,…} ;语言是由句子组成的集合，是由一组符号所构成的集合。换言之,字母表?上的一个语言是?上的一些符号串的集合 (字母表?上的每个语言是?*的一个子集)。 例如：字母表Σ={a,b} , Σ*={ε,a,b,aa,ab,ba,bb,aaa,aab,…} 集合{ab,aabb,aaabbb,…,anbn,…}或表示为{w|w∈Σ*且w=anbn,n≥1}为字母表?上的一个语言。 集合{a,aa,aaa,…}或表示为{w|w∈Σ*且w=an,n≥1} 为字母表?上的一个语言。 ?ε?是一个语言。 ?即? ?是一个语言。 ;文法和语言的形式定义;文法是程序语言的生成系统，而自动机