LL(1)文法的判断，递归下降分析程序

1. 文法 G（S）:

（1）S -> AB

（2）A ->Da | ε

（3）B -> cC

（4）C -> aADC | ε

（5）D -> b | ε

验证文法 G（S）是不是 LL（1）文法？

FIRST集:

FIRST(A) → { a,b }

FIRST(Da) → { a,b }

FIRST(ε)→{ ε }

FIRST(cC)→{ a,c }

FIRST(b)→{ b }

FOLLOW集:

FOLLOW(S)→{ # }

FOLLOW(A)→{ a,b,c,# }

FOLLOW(B)→{ # }

FOLLOW(C)→{ # }

FOLLOW(D)→{ a,#  }

SELECT集:

SELECT(A→Da)={b,a}

SELECT(A→ε)={a,b,c,#}

SELECT(B→cC)={c}

SELECT(C→aADC)={a}

SELECT(C→ε)={#}

SELECT(D→b)={b}

SELECT(D→ε)={a,#}

因为：SELECT(A→Da) ∩ SELECT(A→ε) ≠ Ø

所以G（S）不是 LL（1）文法。

2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法？

消除左递归后：

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'→ε)= FIRST(ε)-{ ε } U FOLLOW(E') = FOLLOW(E') →  { ) , # }

SELECT(T→FT') → { ( , i }

SELECT(T'→*FT') → {*}

SELECT(T'→ε) → {+,),#}

SELECT(F→(E)) → { ( }

SELECT(F→i) → { i }

因为：SELECT(E'→+TE')∩SELECT(E'→ε)= ∅，SELECT(T'→*FT')∩SELECT(T'→ε)=∅，SELECT(F→(E))  SELECT(F→i)=∅

所以文法 G（S）是 LL（1）文法。

3.接2，如果是LL(1)文法，写出它的递归下降语法分析程序代码。

E()

｛T();

E'();

}

E'()

T()

T'()

F()

SELECT集:

SELECT(E→TE') → { ( , i }

SELECT(E'→+TE') → {+}

SELECT(E'→ε)= FIRST(ε)-{ ε } U FOLLOW(E') = FOLLOW(E') →  { ) , # }

SELECT(T→FT') → { ( , i }

SELECT(T'→*FT') → {*}

SELECT(T'→ε) → {+,),#}

SELECT(F→(E)) → { ( }

SELECT(F→i) → { i }

递归下降语法分析程序：

void ParseE() {
 
    switch (lookahead) {
 
        case '(','i':
 
            ParseT();
 
            ParseE '();
 
            break;
 
        default:
 
            print("syntax error \n");
 
            exit(0);
 
    }
 
}
 
void ParseE'(){
 
        switch(lookahead)
 
{
 
    case '+':
 
        MatchToken('+');
 
        ParseT();
 
        ParseE '();
 
        break;
 
    case ')','#':
 
        break;
 
    default:
 
        print("syntax error \n");
 
        exit(0);
 
}
 
    }
 
void ParseT() {
 
    switch (lookahead) {
 
        case '(','i':
 
            ParseF();
 
            ParseT '();
 
            break;
 
        default:
 
            print("syntax error \n");
 
            exit(0);
 
    }
 
}
 
void ParseT'(){
 
    switch(lookahead){
 
    case'*':
 
    MatchToken('*');
 
    ParseF();
 
    ParseT'();
 
    break;
 
    case'+',')','#':
 
    break;
 
default:
 
    print("syntax error \n");
 
    exit(0);
 
    }
 
}
 
    void ParseF(){
 
    switch(lookahead){
 
    case'(':
 
    MatchToken('(');
 
    ParseE();
 
    MatchToken(')');
 
    break;
 
    case'i':
 
    MatchToken('i');
 
    break;
 
default:
 
    print("syntax error \n");
 
    exit(0);
 
    }
 
}

4.加上实验一的词法分析程序，形成可运行的语法分析程序，分析任意输入的符号串是不是合法的表达式。