Main points of compiler lecture 2, 3

程序设计语言及其文法

1. 文法 G：S->xSx|y所识别的语言是
   $x^nyx^n(n\geq0)$
2. 若文法G定义的语言是无限集，则文法必然是递归的
3. 若一个文法是递归的，则它所产生的语言的句子是无穷多个

4. 文法 $E\rightarrow E+E

   E*E

   i$ 的句子$ii+ii$有5课不同的语法树

5. 文法$G: S\rightarrow xxS

   y$所识别的语言是$xxy^*$

lec 3 词法分析

1. 词法分析器不能发现括号不匹配
2. 正则表达式等价是指他们代表同一正则集

3. 文法$G[S]: S\rightarrow A_1, A\rightarrow A_1

   S_0

   0$, 与等价的正规式是$1(10

   01)^*0$

4. 有限状态自动机能识别正规语言
5. 多个初始状态的集合不是DFA的成分
6. 有限自动机等价是指他们所能识别的字符串集合相等

7. 同正规式$(a

   b)^$等价的正规式为$(a^

   b^*)^+$

8. 词法分析器的加工对象是源程序
9. 一个正规式只能对应一个确定的有限状态自动机。错
10. 一个正规语言可能对应多个正规文法。对
11. 词法分析器的输入是。。。

12. 同正规式$(a

    b)^+$等价的正规式是$(a

    b)(a

    b)^*$