形式语言自动机理论基础讲述.pdfVIP

Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.1 语言的语法和语义 本节展开思路 从文法和语言的直观概念 文法、语言的运算和形式定义 表示方法 类型 二义性问题 关于语言： 自然语言—— 人与人交互的工具； 程序设计语言—— 人机交互的工具。 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.1 语言的语法和语义 语法 （语言的描述规则） 语言要素 语义 （语言的含义） 语法是一种媒介，语义以语法为媒介来予以说明。 语言是由单词按一定规则（文法）组成句子来表 达特定意思。故对语言的分析集中于对句子的分析。 而句子的分析依据语言的文法规则。 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.1 语言的语法和语义 例2.1 : 设有语句 “小八哥吃大花生” 。 设有汉语语法规则的一个子集： 〈句子〉→ 〈主语〉〈谓语〉 〈主语〉→ 〈形容词〉〈名词〉 〈谓语〉→ 〈动词〉〈宾语〉 〈宾语〉→ 〈形容词〉〈名词〉 〈形容词〉→ 小 | 大 〈名词〉→ 八哥 | 花生 8 〈动词〉→ 吃 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.1 语言的语法和语义 巴科斯─诺尔（Backus─Naur Form ）范式表示法 ，简称BNF 。 〈 〉 ：表示语法成分。 → ： （通常也用::= ）表示“定义为”或“ 由… 组合成”的含义。 | ：“或”的含义。表示具有相同左部的产生规 则可用“|”分开。 元语言符号 元语言: 描述另一个语言的语言。 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.1 语言的语法和语义 〈句子〉 〈主语〉 〈谓语〉 下 上 〈形容词〉 〈动词〉 〈宾语〉 〈名词〉 吃 〈名词〉 小 八哥 〈形容词〉 大 花生 语句“小八哥吃大花生”分析的语法树 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.1 语言的语法和语义 句子的推导 句子 ⇒主语 谓语 ⇒形容词 名词 谓语 ⇒小 名词 谓语 ⇒小 八哥