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

1. 文法 G(S):

(1)S -> AB

(2)A ->Da|ε

(3)B -> cC

(4)C -> aADC |ε

(5)D -> b|ε

验证文法 G(S)是不是 LL(1)文法?

解:

SELECT(ADa)={b,a}

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

 

SELECT(ADa)ᴒSELECT(Aε)≠Ø

所以文法 G(S)不是 LL(1)文法

 

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

 解:

SELECT(E’→+TE’)=FIRST(+TE’)={+}

SELECT(E’→ε)=FOLLOW(E’)=FOLLOW(E)={#,)}

 

SELECT(E’→+TE’)ᴒSELECT(E’→ε)=Ø

 

SELECT(T’→*FT’)=FIRST(*FT’)={*}

SELECT(T’→ε)=FOLLOW(T’)=FOLLOW(T)=(FIRST(E’)-{ε})UFOLLOW(E’)={#,),+})

 

SELECT(T’→*FT’)ᴒSELECT(T’→ε)=Ø

 

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

SELECT(F→i)=FIRST(i)={i}

 

SELECT(F→(E))ᴒSELECT(F→i)=Ø

 

所以消除左递归之后的表达式文法是LL(1)文法

 

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

E()

    {T();

       E'();

     }

E'()

T()

T'()

F()

解:

SELECT(ETE’)=FIRST(TE’)=FIRST(T)=FIRST(F)U{*}={(i*}

SELECT(E’→+TE’)=FIRST(+TE’)={+}

SELECT(E’→ε)=FOLLOW(E’)=FOLLOW(E)={#)}

SELECT(TFT’)=FIRST(FT’)=FIRST(F)={(i}

SELECT(T’→*FT’)=FIRST(*FT’)={*}

SELECT(T’→ε)=FOLLOW(T’)=FOLLOW(T)={#)+}

SELECT(F(E))=FIRST((E))={(}

SELECT(Fi)=FIRST(i)={i}

 

 

void ParseE()

{

  switch(lookhead)

  {

    case (,i,*:

      ParseT();

      ParseE();

      break;

    default:

      printf(syntax error \n)

      exit(0);

  }

}

void ParseE()

{

  switch(lookhead)

  {

    case +:

      ParseE();

      ParseT();

      MathToken(+);

      break;

    case #,):

      break;

    default:

      printf(syntax error \n);

      exit(0);

  }

}

 

void ParseT()

{

  switch(lookhead)

  {

    case (,i:

      ParseF();

      ParseT();

      break;

    default:

      printf(syntax error \n);

      exit(0);

  }

}

 

void parseT()

{

  if(lookhead==*)

  {

    MathToken(‘ * ’);

    ParseF();

    ParseT();

  }

  else if(lookhead==#,),+){

    }

    else{

      printf(syntax error \n);

      exit(0);

      }

}

 

void ParseF()

{

  if(lookhead==()

  {

    MathToken(’ ( ‘);

    ParseE();

    Parse)();

  }

  else if(lookhead==i){

    MathToken(i);

    }

    else{

      printf(syntax error \n);

      exit(0);

      }

}

 

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

posted on 2019-11-21 11:25  ztr啊仁  阅读(98)  评论(0编辑  收藏  举报

导航