编译原理形式语言.pptVIP

第二章形式语言概论 形式语言理论 什么是语言？ “为相当大地区的公众所懂得并使用的‘话’，以及组成这些‘话’的方法的统一体” “某一字母表上符号串（句子）的集合” 定义仍需精确化 1）字母表 2）语法 3）语义 形式语言理论 由数学方法研究自然语言(如英语)和人工语言(如程序语言)之语法的理论,主要讨论了语言和文法的数学机制以及语言和文法的分类 应用领域 (一)形式语言理论 (二)语言和文法的直观概念 (三)字母表、串、语言 (四)文法和语言的形式定义 (五)文法的类型 (六)上下文无关文法及语法树 (七)句型的分析 (八)有关文法实用中的一些说明 (一)形式语言理论 (二)语言和文法的直观概念 (三)字母表、串、语言 (四)文法和语言的形式定义 (五)文法的类型 (六)上下文无关文法及语法树 (七)句型的分析 (八)有关文法实用中的一些说明 (一)形式语言理论 (二)语言和文法的直观概念 (三)字母表、串、语言 (四)文法和语言的形式定义 (五)文法的类型 (六)上下文无关文法及语法树 (七)句型的分析 (八)有关文法实用中的一些说明 (二)语言和文法的直观概念（引例） 我们从“产生语言”的角度出发,讨论文法和语言的形式定义 语言生成——指制定出有限条规则，借助它们产生的句子的集合 英语语言为例。并设每个句子都是“主-谓-宾”结构 文法——见右。其中，每个用 括起来的部分是所要定义语言中的一个语法实体（称为语法单位、语法结构、语法范畴、语法变量等）。“::=”是用于定义语法结构的符号，其含义（并读作）“定义为” 。文法也称为产生式(Production) ①句子::=主语短语 动词短语 ②主语短语::= the 名词 ③动词短语::=动词宾语短语 ④宾语短语::=冠词名词 ⑤名词::=monkey ⑥名词::=banana ⑦动词::=eat ⑧动词::=has ⑨冠词::=the ⑩冠词::=a (二)语言和文法的直观概念（引例） 推导(derivation)——从语言最大的一个语法实体（本例中是句子）开始，反复用语法规则中“::=” 右侧的符号串取代其左侧符号，直到所得的符号串中不再含有可被替换语法实体。每次替换称为一步（直接）推导，并用符号“?”表示。 例如 首先用规则①进行第一步推导，可得到主语短语动词短语，即 句子 ? 主语短语动词短语 所得符号串主语短语动词短语含有两个语法实体，可对其中任一个（例如对动词短语）进行新的推导 句子 ? 主语短语动词短语 ? 主语短语动词宾语短语 重复上述过程，可得到一个推导序列（见下页）。 推导 所用 所得的符号串 步 规则 1 ① 句子 ? 主语短语 动词短语 2 ③ ? 主语短语动词宾语短语 3 ② ? the 名词动词宾语短语 4 ④ ? the 名词动词冠词名词 5 ⑤ ? the monkey动词冠词名词 6 ⑦ ? the monkey eat 冠词名词 7 ⑩ ? the monkey eat a 名词 8 ⑥ ? the monkey eat a banana 规则的简化表示 在前面的语法规则定义中，有些语法范畴（如名词、动词）有若干条不同的规则来定义它，为简明起见，我们可以将它们写在同一个左部语法范畴下，将其定义值用符号“|”（读作‘或’）隔开。如名词、 动词、 冠词的定义规则可简记为 名词::= monkey | banana 动词::= eat | has 冠词::= the | a 推导 所用 所得的符号串 步 规则 1 ① 句子 ? 主语短语 动词短语 2 ③ ? 主语短语动词宾语短语 3 ② ? the 名词动词宾语短语 4 ④ ? the 名词动词冠词名词 5 ⑤ ? the monkey动词冠词名词 6 ⑦ ? the monkey eat 冠词名词 7 ⑩ ? the monkey eat a 名词 8