grammer.txt

语法分析程序 实现C语言的语法分析过程

93
$program : declaration-list$
$declaration-list : declaration declaration-list#$
$declaration-list# : declaration declaration-list#$
$declaration-list# : @$
$declaration : type-specifier ID declaration'$
$declaration : compound-stmt$
$declaration : struct-declaration$
$declaration' : ;$
$declaration' : [ NUM ] ;$
$declaration' : ( params )$
$struct-declaration : struct ID struct-stmt$
$struct-stmt : { local-declarations }$
$var-declaration : type-specifier ID var-declaration'$
$var-declaration' :  ;$
$var-declaration' : [ NUM ] ;$
$type-specifier : int$
$type-specifier : void$
$fun-declaration : type-specifier ID ( params )$
$fun-declaration : compound-stmt$
$params : int ID param' param-list#$
$params : void params'$
$params' : @$
$params' : param' param-list#$
$param-list : param param-list#$
$param-list# : , param param-list#$
$param-list# : @$
$param : type-specifier ID param'$
$param' : @$
$param' : [ ]$
$compound-stmt : { local-declarations statement-list }$
$local-declarations : local-declarations#$
$local-declarations# : var-declaration local-declarations#$
$local-declarations# : @$
$statement-list : statement-list#$
$statement-list# : statement statement-list#$
$statement-list# : @$
$statement : expression-stmt$
$statement : compound-stmt$
$statement : selection-stmt$
$statement : iteration-stmt$
$statement : jump-stmt$
$expression-stmt : expression ;$
$expression-stmt : ;$
$selection-stmt : if ( expression ) statement selection-stmt'$
$selection-stmt' : @$
$selection-stmt' : else statement$
$iteration-stmt : while ( expression ) statement$
$iteration-stmt : do compound-stmt while ( expression ) ;$
$jump-stmt : continue ;$
$jump-stmt : break ;$
$jump-stmt : return-stmt$
$return-stmt : return return-stmt'$
$return-stmt' : ;$
$return-stmt' : expression ;$
$expression  : ID expression'$
$expression' : var' expression''$
$expression'' : = expression$
$expression'' : term# additive-expression# simple-expression'$
$var : ID var'$
$var' : @$
$var' : [ expression ]$
$var' :  . ID$
$var' : ( args )$
$simple-expression : additive-expression simple-expression'$
$simple-expression' : relop additive-expression$
$simple-expression' : @$
$relop : <=$
$relop : <$
$relop : >$
$relop : >=$ 
$relop : ==$
$relop : !=$
$additive-expression : term additive-expression#$
$additive-expression# : addop term additive-expression#$
$additive-expression# : @$
$addop : +$
$addop : -$
$term : factor term#$
$term# : mulop factor term#$
$term# : @$
$mulop : *$
$mulop : /$
$factor : ( expression )$
$factor : ID  var'$
$factor  :  NUM$
$call : ID ( args )$
$args : arg-list$
$args : @$
$arg-list : expression arg-list#$
$arg-list# : , expression arg-list#$
$arg-list# : @$
$expression : NUM expression'$
$expression'' : additive-expression$