《编译原理》学习第 5 天，p25-p32总结，总计 8 页。

一、技术总结

1.lexical

lexical这个单词后续会经常用到，所以首先要搞懂它的英文意思，不然看到中文的“词法，语法，文法”这三个词的时候就会懵了——lexical对应这三个里面的哪一个？

（1）lexical: lexicon + al，加al后缀，表明lexical是一个形容词(adjective)。

（2）lexicon: 词根是lexis(a word)。all the words used in a particular language。意思是“全部词汇”，“词典”。

（3）lexical: adj. relating to words，词汇(word)相关的。

所以lexical 对应着“词(word)法”， lexical analyzer称为词法分析器。

2.production

(1)定义

p26，以C语言中的if-else 语句为例：

if (expression) statement else statement

如果使用expr表expression，使用stmt表示statement，那么上述语句就可以表示成：

stmt -> if (expr) stmt else stmt

->表示“can have the form”。形如“stmt -> if (expr) stmt else stmt”这样的rule称为production。

(2)作用

书中没有给出明确的定义，按照书中的定义，长“stmt -> if (expr) stmt else stmt”这样的就叫做production, 再简化一下还可写成： x -> y，“ x -> y”这个production的含义是什么呢？它的含义是x可以转为y。

(3)left side & right side

以 “stmt -> if (expr) stmt else stmt” 这个production为例，-> 左边的部分称为production的left side，-> 左边的部分称为production的right side。

3.token/terminal

在production中，lexical element(如：if, else)和 parenthsis称为token，也称为terminal、terminal symbol。

p27, “we assume that digits, signs such as <=, and boldface strings such as while are terminals”。根据这句话，terminal包含：(1)digit：如1，2，3。(2)signs: 如 <=。（3）boldface string: 如while。这里用boldface string很不好，boldface是从印刷的角度来说的，那非boldface的string是不是terminal呢？

4.nonterminal

stmt -> if (expr) stmt else stmt" 这个production

p26, variables like expr and stmt represent sequences of tokens and are called nonterminals。在这里，作者没有给出nonterminal的明确定义，暂且根据这句话的意思把像expr和stmt这样的variable称为nonterminal，然后继续往下阅读。

5.context-free grammar

(1)定义

首先，得对context-free grammar下定义，什么是context-free grammar？p26, In this section, we introduce a notation, called a context-free grammar(grammar, for short), for specifying the synaxt of a language。用于指定语言的语法的符号称为上下文无关文法，简写为grammar。

context-free grammar由四部分构成：

(1)a set of terminals。

(2)a set of nonterminals。

(3)a set of production。

(4)a start symbol。

“a designation of one of the nonterminals as the start symbol”——根据书中的定义，start symbol是从nonterminals中指定的。

6.|符号(or)

p27, For notational convenience, productions with the same nonterminals on the left can have their right sides grouped, with the algernative right sides separated by the symbol |, which we read as “or.”——为了方便表示，可以把多个具有相同left side的production，写成一个production，production的right side用符号| 隔开，|读者“or”。

示例：

以7，3-1，9-5+2, 为例，我们把数字称为digit(即1是一个digit, 2是一个digit, 3是一个digtit…)， 把用+号或-号隔开的expression称为list( "3-1"即是一个list，"9-5+2"是一个list,1等数字是特殊的list)，那么上面这三个expression使用production来表示可以写成：

(1)digit -> 0 | 1 | 2 | 4 | 5 | 6 | 7 | 8 | 9

(2)list -> digit

(3)list -> list - digit

(4)list -> list + digit

因为(2)、(3)、(4)这3个production的left side是一样的，都是list, 那么可以写成一个production：

list -> digit | list - digit | list + digit

7.production for nonterminal

p27, We say a production is for a nonterminal if the nonterminal appears on the left side of the production。

如果一个nonterminal出现在production的left side， 那么我们就说这个production是这个nonterminal的production(这里有点拗口，书上用的是for表示，意思就是这个production是归属于这个nonterminal的)。

当看到“production for nonterminal”我们就要想到nonterminal是在production的left side。

8.parse tree

(1)tree

关于tree相关的定义，参考维基百科即可。书中提到的interior node，实际就是我们常说的internal node。

(2)定义

grammar可以用tree来表示，这样的tree称为parse tree。parse tree描绘了从start symbol生成string(如：9-5+2)的过程。

二、其它

alphabet, string, language这三个概念书中没有严格的定义，但却又是核心概念，可以参考《Introduction to Automata Theory Languages and Computation》这本书。

今天的读书笔记写了很多，也是因为书上很多概念没有明确的定义,需要把相关的内容全部记下然，然后做交叉验证。

四、参考资料

1. 编程

(1)Alfred V. Aho，Monica S. Lam，Ravi Sethi，Jeffrey D. Ullman，《编译原理（英文版·第1版）》：https://book.douban.com/subject/5416783/

2. 英语

(1)Etymology Dictionary：https://www.etymonline.com

(2) Cambridge Dictionary：https://dictionary.cambridge.org

欢迎搜索及关注：编程人(a_codists)