高级语言及其语法描述.pptVIP

句型： 主语 谓语 间接宾语 直接宾语 思考： 假定有以下句型，如何判断“He gave ma a book”符合该句型 如果“He gave ma a book”符合该句型， 则“He gave ma a book”是一个正确的句子 例子： 常见英语句型 2.3.1 上下文无关文法 第三十一页，共八十六页，2022年，8月28日 思考： 如何判断一个程序的语句是否正确？ 赋值语句 变量：＝表达式 X:=3.14*r*r 2.3.1 上下文无关文法 第三十二页，共八十六页，2022年，8月28日 思考 能不能将判断一个句子是否符合一个句型的过程自动化，使得今后可以通过编写程序来完成这一过程？ 方法： 建立语法规则，用程序自动推导 2.3.1 上下文无关文法 第三十三页，共八十六页，2022年，8月28日 解决方法 规则 推导 2.3.1 上下文无关文法 第三十四页，共八十六页，2022年，8月28日 结论 定义英文句子的规则可以说是一个上下文无关文法。 其中He, me, book, gave,a 等，称为终结符号； 句子、主语、谓语等为非终结符号； 这个文法最终是要定义句子的语法结构， 所以句子在这里成为开始符号； 间接宾语→冠词名词 这种书写形式称为产生式。 2.3.1 上下文无关文法 第三十五页，共八十六页，2022年，8月28日 归纳 一个上下文无关文法G包括四个组成部分：一组终结符号，一组非终结符，一个开始符号，以及一组产生式。 所谓终结符号乃是组成语言的基本符号，即在程序语言中以前屡次提到的单词符号，如基本字，标识符，常数，算符和界符等 所谓非终结符号（也称语法变量）用来代表语法范畴。如“算术表达式”、“布尔表达式”、“过程”等。一个非终结符代表一个一定的语法概念。因此非终结符是一个类（或集合）记号，而不是个体记号。 2.3.1 上下文无关文法 第三十六页，共八十六页，2022年，8月28日 开始符号是一个特殊的非终结符号，它代表所定义的语言中我们最感兴趣的语法范畴，这个语法范畴通常称为“句子”。但在程序语言中我们最终感兴趣的是“程序”这个语法范畴，而其他的语法范畴都只不过是构造“程序”的一块块砖石。 产生式（也称为产生规则或简称规则）是定义语法范畴的一种书写规则。一个产生式的形式是 A→ α ,其中箭头左边的A是一个终结符，称为产生式的左部符号；箭头右边的α是终结符号或与非终结符号组成的一符号串，称为产生式的右部。 2.3.1 上下文无关文法 第三十七页，共八十六页，2022年，8月28日 产生式是定义语法范畴的。 例如：对于表达式的形成规则： “变量（包括下标变量）、常数是表达式“ 可用产生式定义为： 算术表达式→变量 或 算术表达式→i 可用巴科斯范式表示为 算术表达式：＝变量 2.3.1 上下文无关文法 第三十八页，共八十六页，2022年，8月28日 有时需要多个产生式规则定义一个语法范畴 例如：要定义一类含+、*的算术表达式，这个定义可以这样给出： 定义 “变量是一个算术表达式； 若E1和E2是算术表达式，则E1+E2、E1*E2和(E1)也是算术表达式。 用产生式描述： E→i Ｅ→Ｅ＋Ｅ Ｅ →Ｅ＊Ｅ Ｅ→（Ｅ）其中Ｅ代表“算术表达式”，ｉ代表“变量” 递归定义 2.3.1 上下文无关文法 第三十九页，共八十六页，2022年，8月28日 上下文无关文法Ｇ的形式定义 上下文无关文法是一个四元式（ＶＴ，ＶＮ，Ｓ，P）其中 ＶＴ是一个非空有限集，它的每一个元素 称为终结符号； ＶＮ是一个非空有限集，它的每一个元素称为非终结符号，ＶＴ∩ＶＮ＝?； Ｓ是一个非终结符号，称为开始符号； P是一个产生式（有限）集合，每个产生式形式是Ｐ→?　，其中，Ｐ∈ＶＮ，　　 ? ∈（　ＶＴ∪ＶＮ）＊开始符号S至少必须在某一产生式的左部出现一次。 2.3.1 上下文无关文法 第四十页，共八十六页，2022年，8月28日 进一步讨论 产生式缩写 若干个左部相同的产生式，如： Ｐ－＞ａ１ Ｐ－＞ａ２ ．．．．． Ｐ－＞ａｎ 可合并为： Ｐ－＞ａ１｜ａ２｜．．．｜ａｎ 其中ai称为侯选式 箭头读为“定义为” 直竖读为“或” 元语言符号： －＞ ｜ 2.3.1 上下文无关文法 第四十一页，共八十六页，2022年，8月28日 书写约定 非终结符号：大写字母 终结符号：小写字母 符号串：αβγ 例子 Ｅ－＞ｉ｜ＥＡＥ Ａ－＞＋｜＊ 2.3.1 上下文无关文法 第四十二页，共八十六页，2022年，8月28日 如何用上下文无关文法定义语言？ 中心思想：从文法的开始符号出发，反复连续使用产生式，对非终结符施行替换和展开 例如：Ｅ－＞Ｅ＋Ｅ｜Ｅ＊Ｅ｜（Ｅ）｜ｉ Ｅ－＞（Ｅ） 从Ｅ可直接（一步）推出（Ｅ） 用＝＞表示 Ｅ＝＞（Ｅ） 2.