编译原理前后文无关文法和语言.pptVIP

产生式的简写对一组有相同左部的产生式α→β1，α→β2…，α→βn可以简单地记为：α→β1|β2|…|βn读作：α定义为或者β1，或者β2，…，或者βn。并且称它们为α产生式。β1，β2，…，βn称为候选式(Candidate)。第30页，共51页，星期日，2025年，2月5日例、文法G=（VN，VT，P，S），其中：VN={S}，VT={0，1}，P={S→0S1，S→01}。开始符号是SS?0S1?00S11?…?0n-1S1n-1?0n1n所以描述的语言为：L={0n1n|n≥1}第31页，共51页，星期日，2025年，2月5日例：文法G=（VN，VT，P，S）其中：VN={标识符，字母，数字}VT={a,b,c,…,x,y,z,0,1,…,9}S=标识符?P={标识符→标识符字母|标识符数字|字母字母→a|b|…|z数字→0|1|…|9}第32页，共51页，星期日，2025年，2月5日1、文法的定义2文法的第二种表示法：上例1改为：G:S→0S1S→013文法的第三种表示法：上例1改为：G[S]:S→0S1S→01一般约定，第一条产生式的左部是开始符号；用尖括号括起来的是非终结符号，不用尖括号括起来的是终结符号，或者用大写字母表示非终结符号，小写字母表示终结符号。第33页，共51页，星期日，2025年，2月5日2、直接推导的定义如：有文法G:E→E+E|E*E|(E)|iE?(E)?(E+E)?(i+E)?(i+i)（称这样一串替换序列是从E推出(i+i)的一个推导)（1）定义：称?A?直接推出???，即：?A?????仅当A→?是一个产生式，且?、??(VN∪VT)*第34页，共51页，星期日，2025年，2月5日例：G[S]:S→0S1,S→01S?0S1?00S11?000S111可有：?A?=00S11,???=000S111(相当A=S,?=0S1)第35页，共51页，星期日，2025年，2月5日?A?=S，???＝0S1直接推导：S?0S1?A?=0S1，???=00S11直接推导：0S1?00S11例：?A?＝0S1，???=0011直接推导：0S1?0011使用规则：S→01?＝0，?＝1，A＝S，?＝01规则：S→0S1?＝?，?＝?A＝S，?＝0S1规则：S→0S1?＝0，?＝1A＝S，?＝0S1第36页，共51页，星期日，2025年，2月5日第1页，共51页，星期日，2025年，2月5日本章内容2.1语言的概述2.2文法和语言的定义第2页，共51页，星期日，2025年，2月5日2.1语言的概述什么是语言自然语言(NaturalLanguage)是人与人的通讯工具语义(Semantics):环境、背景知识、语气、二义性——难以形式化计算机语言(ComputerLanguage)计算机系统间、人机间通讯工具严格的语法(Grammar)、语义(Semantics)——易于形式化：严格语言是用来交换信息的工具——功能性描述第3页，共51页，星期日，2025年，2月5日2.1语言概述语言的描述方法——现状自然语言：自然、方便-非形式化数学语言（符号）：严格、准确-形式化形式化描述高度的抽象，严格的理论基础和方便的计算机表示。第4页，共51页，星期