第2章 形式语基础知识.pptVIP

nhkjk 第2章 形式语言基础知识 掌握形式语言的特征 掌握形式语言的归纳定义 掌握文法的分类 掌握文法的二义性 2.0 编译的基础知识 自然语言和形式语言 语言是一个记号系统 汉语---符合汉语语法的句子的全体 英语---符合英语语法的句子的全体 程序设计语言---该语言的程序的全体 程序设计语言由语法和语义定义： 语法：定义每个程序构成的规则 语义：定义每个程序的意义 语法 任何语言程序都可以看成是一个字符集（字母表）上的字符串 语法使得这串字符串形成一个形式上正确的程序 语法 ＝ 词法规则 ＋ 语法规则 语法相关概念 单词符号（语言中具有独立意义的最基本结构） 词法规则：正规式和有限状态自动机 语法单位 表达式、子句、句子、函数、过程、程序 语法规则 单词符号－－?语法单位 描述（上下文无关文法） 语言的词法规则和语法规则定义了程序的形式结构 语义 定义单词和语法单位的意义 分类 静态语义：一系列限定规则，确定哪些合乎语法的程序是合适的 动态语义：表明程序要做什么 作用: 检查类型匹配，变量作用域等 2.1 字母表和符号串 2、符号串 定义:由字母表中的符号组成的任何有穷序列 例：0,00,10是字母表∑={0?1}上的符号串 a,ab,aaca是V={a?b,c}上的符号串 符号串是有序的。如: ab和ba不同 不含任何符号的符号串称为空串，用