去除左遞歸的問題

landker

請教有關C語法的問題

1、對于C語言語法里的 declarator 和 abstract_declarator，以及其相關的direct_declarator 和 direct_abstract_declarator 的C語言語法如下：

=============================================================================================
1）declarator
        : pointer direct_declarator
        | direct_declarator
        ;

2）direct_declarator
        : IDENTIFIER
        | '(' declarator ')'
        | direct_declarator '[' constant_expression ']'
        | direct_declarator '[' ']'
        | direct_declarator '(' parameter_type_list ')'
        | direct_declarator '(' identifier_list ')'
        | direct_declarator '(' ')'
        ;

3）abstract_declarator
        : pointer
        | direct_abstract_declarator
        | pointer direct_abstract_declarator
        ;

4）direct_abstract_declarator
        : '(' abstract_declarator ')'
        | '[' ']'
        | '[' constant_expression ']'
        | direct_abstract_declarator '[' ']'
        | direct_abstract_declarator '[' constant_expression ']'
        | '(' ')'
        | '(' parameter_type_list ')'
        | direct_abstract_declarator '(' ')'
        | direct_abstract_declarator '(' parameter_type_list ')'
        ;

============================================================================================


2、對于以上4條語法，在去左遞歸后，變?yōu)槿缦拢?/strong>
============================================================================================
1）declarator不存在左遞歸

2）direct_declarator        : IDENTIFIER R
                        | '(' declarator ')' R
                        ;

                R        : '[' constant_expression ']' R
                        | '[' ']' R
                        | '(' parameter_type_list ')' R
                        | '(' identifier_list ')' R
                        | '(' ')' R
                        | Ɛ
                        ;                                       

3）abstract_declarator不存在左遞歸，但為了方便分析，轉換為如下：

abstract_declarator        : A B
                        ;

                A        : pointer
                        | Ɛ
                        ;

                B        : direct_abstract_declarator
                        | Ɛ
                        ;

4）direct_abstract_declarator        : '(' abstract_declarator ')' R
                                | '[' ']' R
                                | '[' constant_expression ']' R
                                | '(' ')' R
                                | '(' parameter_type_list ')' R
                                                                ;

                        R         : '[' ']' R
                                | '[' constant_expression ']' R
                                | '(' parameter_type_list ')' R
                                | '(' ')' R
                                | Ɛ
                                ;       
============================================================================================


3、問題

1）對于上面第2中的2）、4）的“去左遞歸”的轉換是否正確？

landker

回復 1# landker

ding
   

cjaizss

回復 1# landker
正確

duanlin

2）

direct_declarator
  : IDENTIFIER
  | '(' declarator ')'
  | IDENTIFIER R
  | '(' declarator ')' R
  ;

R
  : '[' constant_expression ']'
  | '[' ']'
  | '(' parameter_type_list ')'
  | '(' identifier_list ')'
  | '(' ')'
  | '[' constant_expression ']' R
  | '[' ']' R
  | '(' parameter_type_list ')' R
  | '(' identifier_list ')' R
  | '(' ')' R
  ;

讓規(guī)則R不可匹配空規(guī)則，這樣寫還對么？