10 消除左递归 11/13

1.将以下文法消除左递归，分析符号串 i*i+i ，并分别求FIRST集、FOLLOW集，和SELECT集

　 E -> E+T | T

     T -> T*F | F

     F -> (E) | i

 消除左递归：

　　E -> TE^'

　　E^' -> +TE^' | ɛ 

　　T -> FT^'

　　T^' -> ^*FT^' | ɛ 

　　F -> (E) | i　

FIRST集：

　　FIRST(E) = { ( , i  }

　　FIRST(E^') = { + , ɛ }

　　FIRST(T) = { ( , i }

　　FIRST(T^') = { * ,  ɛ }

　　FIRST(F) = { ( , i }

FOLLOW集：

　　FOLLOW(E) = { ) , # }

　　FOLLOW(E^') = { ) , # }

　　FOLLOW(T) = { + , ) , # }

　　FOLLOW(T^') = { + , ) , #  }

　　FOLLOW(F) = {  * , + , ) , # }

SELECT集：

　　SELECT(E -> TE^') = { ( , i }

　　SELECT(E^' -> +TE^') =  { + , ɛ }

　　SELECT(E^' -> ɛ) = {  ) , # }

　　SELECT(T -> FT^') = {  ( , i  }

　　SELECT(T^' -> ^*FT^' ) ={ * ,  ɛ }

　　SELECT(T^'  -> ɛ) = {  + , ) , # }

　　SELECT(F -> (E) ) = { ( , i }

　　SELECT(F -> i ) = { i }　

分析符号串：

　　　　

2.P101练习7（2）（3）文法改写.

（2）先对A提取公共左因子：

　　　　A -> aC

　　　　C -> ABe | ɛ 

　　　　B -> dB^'

　　　　B^' -> bB^' | ɛ  

FIRST集：

　　FIRST(A) = { a }

　　FIRST(C) = { ABe , ɛ } = { e , ɛ }

　　FIRST(ɛ) = { ɛ }

　　FIRST(B) = { d }

　　FIRST(B^') = { b ,ɛ }

　　FIRST(ɛ) = { ɛ }

FOLLOW集：

　　FOLLOW(A) = { d , # }

　　FOLLOW(B) = { e }

　　FOLLOW(B^') = { e }

　　FOLLOW(C) = { d , # }

SELECT集：

　　SELECT(A -> aC) = { a }

　　SELECT(C -> ABe) =  { e , ɛ }

　　SELECT(C -> ɛ) = { d , # }

　　SELECT(B -> dB^') = { d }

　　SELECT(B^' -> bB^') ={ b ,ɛ }

　　SELECT(B^' -> ɛ) ={ e }

（3）S -> SBa | b

　　  S -> bS^'

　　  S^' -> BaS^' | ɛ 

　　  B -> ab

FIRST集：

　　FIRST(S) = { b }

　　FIRST(S^') = { Ba , ɛ } = { a , ɛ }

　　FIRST(ɛ) = { ɛ }

　　FIRST(B) = { a }

FOLLOW集：

　　FOLLOW(S) = { # }

　　FOLLOW(S^') = { # }

　　FOLLOW(B) = { a }

SELECT集：

　　SELECT(S -> bS^') = { b }

　　SELECT(S^' -> BaS^' ) =  { a , ɛ }

　　SELECT(S^' ->  ɛ) = { # }

　　SELECT(B -> ab) = { a }

求以下文法的FIRST集、FOLLOW集和SELECT集。

S->Ap
A->a |ε
A->cA

A->aA

FIRST集：

　　FIRST(Ap) = { a , c , p }

　　FIRST(a) = { a }

　　FIRST(ɛ) = { ɛ }

　　FIRST(cA) = { c }

　　FIRST(aA) = { a }

FOLLOW集：

　　FOLLOW(A) = { p }

　　FOLLOW(S) = { # }

SELECT集：

　　SELECT(S -> Ap) = { a , c , p }

　　SELECT(A -> a ) =  { a }

　　SELECT(A -> ɛ) = { p }

　　SELECT(A -> cA) = { c }

　　SELECT(A -> Aa) ={ a }

S->Ap
S->Bq
A->a
A->cA
B->b
B->dB

FIRST集：

　　FIRST(S1) = FIRST(Ap) = { a , c }

　　FIRST(S2) = FIRST(Bq) = { b , d }

　　FIRST(a) = { a }

　　FIRST(cA) = { c }

　　FIRST(b) = { b }

　　FIRST(dB) = { d }

FOLLOW集：

　　FOLLOW(A) = { p }

　　FOLLOW(B) = { q }

　　FOLLOW(S) = { # }

SELECT集：

　　SELECT(S -> Ap) = { a , c }

　　SELECT(S -> Bq ) =  { b , d }

　　SELECT(A -> a) = { a }

　　SELECT(A -> cA) = { c }

　　SELECT(B -> b) ={ b }

　　SELECT(B -> dB) ={ d }