[所有分类]编译原理2.ppt

第二章 文法和语言 概述 符号串与符号串集合 文法和语言的形式定义 语言的分类 文法等价与等价变换 语法分析树和句型分析 主要内容 本章讨论与编译实现相关的形式语言理论基本概念，主要内容有： 文法与语言的形式定义 Chomsky文法及其分类 上下文无关文法的主要特性 文法的等价变换 句型分析的概念 形式语言 Chomsky于1956年提出了一种用来描述语言的数学系统。人们把用一组数学符号和规则来描述语言的方式称为形式描述，而把所用的数学符号和规则称为形式语言。 形式语言，只是从语法上研究语言。它是抽象的数学系统，用于模拟程序设计语言的语法，或者是并不很成功地模拟自然语言如英语的语法。 形式语言理论是编译理论的重要基础，它主要研究组成符号语言的符号串的集合及它们的表示法、结构与特性。 形式语言和编译理论中的 最基本概念 ——符号串和符号串集合 符号与字母表 符号：可以相互区别的记号（元素） 字母表：有穷非空的符号集合，常用大写英文字母A,B…或希腊字母 表示 符号串及其长度 符号串：由字母表中的符号组成的任何有穷序列称为符号串。常用小写英文字母t, u等表示符号串。 符号串的长度：符号串中符号的个数, 如：符号串x的长度用|x|表示 空串ε：长度为0的符号串，它不同于φ。 子符号串 设有非空符号串u=xvy,其中符号串