编译原理基础——习题与上机题解答 刘坚 第1-5章 第2章新.pptVIP

2.1 分别给出下述Pascal和C程序段的记号流形式。其中每个记号以有序对(记号类别，记号属性)的形式表示。例如：left + right 的记号流应该是：(id, left)(op,+) (id, right)。程序段中的注释可以忽略。　　(1)? Pascal　　function max (i, j : integer ) : integer ; { return maximum of i and j }　　begin if i j then max := i else max := j end;　　(2) ?C　　int max (i , j ) int i, j ; /* return maximum of i and j */　　 { return i j ? i : j ; } 　　解：　　(1) ?Pascal　　类别 属性 类别 属性　　(keyword, function ) (id, max )　　(keysymbol, ( ) (id, i )　　(keysymbol, , ) (id, j ) 　　(keysymbol， ： ) (keyword, integer )　　(keysymbol, ) ) (keysymbol， ： )　　(keyword, integer ) (keysymbol, ; )　　(keyword, begin ) (keyword, if )　　(id, i ) (relation, )　　(id, j ) (keyword, then )　　(id, max ) (assign, := )　　(id, i ) (keyword, else )　　(id, max ) (assign, := )　　(id, j ) (keyword, end )　　(keysymbol, ; ) 　　(2) ?C　　类别 属性 类别 属性　　(keyword, int ) (id, max )　　(keysymbol, ( ) (id, i )　　(keysymbol, , ) (id, j )　　(keysymbol, ) ) (keyword, int ) 　　(id, i ) (keysymbol, , )　　(id, j ) (keysymbol, ; )　　(keysymbol, { ) (keyword, return ) 　　(id, i ) (relation, )　　(id, j ) (keysymbol, ? ) 　　(id, i ) (keysymbol, : )　　(id, j ) (keysymbol, ; )　　(keysymbol, } ) 　　2.2 用正规式描述习题2.1中的记号。　　解：　　(1) ?Pascal　　keyword = function | integer | begin | if | then | else | end　　id = char (char | digit)* (其中，char=[a–zA–Z],digit=[0–9])　　assign = :=　　keysymbol = ( | ) | , | : | ; 　　relation = 　　(2)? C　　keyword = int | return　　id = (_ | char) (_ | char | digit)* (其中char=[a–zA–Z],digit=[0–9])　　keysymbol = ( | ) | { | } | : | ? | ; | ,　　relation = 　　2.3 令A、B、C是任意的正规式，证明下述关系成立：　　(1) ?A|A = A　　(2) ?(A*)* = A*　　(3) ?A* =ε|AA*　　(4) ?(AB)*A =A(BA)*　　证：　　(1) 设正规式A表示的正规集为L(A)。　　因为 L(A|A) = L(A)∪L(A) = L(A) 　　所以 ?A|A＝A 　　(2) 因为 (A*)* = A** A** = A*