c语言的bnf总结

注：不能说是自己的原创，只能说自己是总结了下而已

translation_unit: external_decl
| translation_unit external_decl
;
external_decl: function_definition
| decl
;
function_definition: decl_specs declarator decl_list compound_stat
|declarator decl_list compound_stat
| decl_specs declaratorcompound_stat
|declarator compound_stat
;
decl: decl_specs init_declarator_list ';'
| decl_specs';'
;
decl_list: decl
| decl_list decl
;
decl_specs: storage_class_spec decl_specs
| storage_class_spec
| type_spec decl_specs
| type_spec
| type_qualifier decl_specs
| type_qualifier
;
storage_class_spec: 'auto' | 'register' | 'static' | 'extern' | 'typedef'
;
type_spec: 'void' | 'char' | 'short' | 'int' | 'long' | 'float'
| 'double' | 'signed' | 'unsigned'
| struct_or_union_spec
| enum_spec
| typedef_name
;
type_qualifier: 'const' | 'volatile'
;
struct_or_union_spec: struct_or_union id '{' struct_decl_list '}'
| struct_or_union'{' struct_decl_list '}'
| struct_or_union id
;
struct_or_union: 'struct' | 'union'
;
struct_decl_list: struct_decl
| struct_decl_list struct_decl
;
init_declarator_list: init_declarator
| init_declarator_list ',' init_declarator
;
init_declarator: declarator
| declarator '=' initializer
;
struct_decl: spec_qualifier_list struct_declarator_list ';'
;
spec_qualifier_list: type_spec spec_qualifier_list
| type_spec
| type_qualifier spec_qualifier_list
| type_qualifier
;
struct_declarator_list: struct_declarator
| struct_declarator_list ',' struct_declarator
;
struct_declarator: declarator
| declarator ':' const_exp
|':' const_exp
;
enum_spec: 'enum' id '{' enumerator_list '}'
| 'enum''{' enumerator_list '}'
| 'enum' id
;
enumerator_list: enumerator
| enumerator_list ',' enumerator
;
enumerator: id
| id '=' const_exp
;
declarator: pointer direct_declarator
|direct_declarator
;
direct_declarator: id
| '(' declarator ')'
| direct_declarator '[' const_exp ']'
| direct_declarator '['']'
| direct_declarator '(' param_type_list ')'
| direct_declarator '(' id_list ')'
| direct_declarator '('')'
;
pointer: '*' type_qualifier_list
| '*'
| '*' type_qualifier_list pointer
| '*'pointer
;
type_qualifier_list: type_qualifier
| type_qualifier_list type_qualifier
;
param_type_list: param_list
| param_list ',' '...'
;
param_list: param_decl
| param_list ',' param_decl
;
param_decl: decl_specs declarator
| decl_specs abstract_declarator
| decl_specs
;
id_list: id
| id_list ',' id
;
initializer: assignment_exp
| '{' initializer_list '}'
| '{' initializer_list ',' '}'
;
initializer_list: initializer
| initializer_list ',' initializer
;
type_name: spec_qualifier_list abstract_declarator
| spec_qualifier_list
;
abstract_declarator: pointer
| pointer direct_abstract_declarator
|direct_abstract_declarator
;
direct_abstract_declarator: '(' abstract_declarator ')'
| direct_abstract_declarator '[' const_exp ']'
|'[' const_exp ']'
| direct_abstract_declarator '['']'
|'['']'
| direct_abstract_declarator '(' param_type_list ')'
|'(' param_type_list ')'
| direct_abstract_declarator '('')'
|'('')'
;
typedef_name: id
;
stat: labeled_stat
| exp_stat
| compound_stat
| selection_stat
| iteration_stat
| jump_stat
;
labeled_stat: id ':' stat
| 'case' const_exp ':' stat
| 'default' ':' stat
;
exp_stat: exp ';'
|';'
;
compound_stat: '{' decl_list stat_list '}'
| '{'stat_list '}'
| '{' decl_list'}'
| '{''}'
;
stat_list: stat
| stat_list stat
;
selection_stat: 'if' '(' exp ')' stat
| 'if' '(' exp ')' stat 'else' stat
| 'switch' '(' exp ')' stat
;
iteration_stat: 'while' '(' exp ')' stat
| 'do' stat 'while' '(' exp ')' ';'
| 'for' '(' exp ';' exp ';' exp ')' stat
| 'for' '(' exp ';' exp ';'')' stat
| 'for' '(' exp ';'';' exp ')' stat
| 'for' '(' exp ';'';'')' stat
| 'for' '('';' exp ';' exp ')' stat
| 'for' '('';' exp ';'')' stat
| 'for' '('';'';' exp ')' stat
| 'for' '('';'';'')' stat
;
jump_stat: 'goto' id ';'
| 'continue' ';'
| 'break' ';'
| 'return' exp ';'
| 'return'';'
;
exp: assignment_exp
| exp ',' assignment_exp
;
assignment_exp: conditional_exp
| unary_exp assignment_operator assignment_exp
;
assignment_operator: '=' | '*=' | '/=' | '%=' | '+=' | '-=' | '<<='
| '>>=' | '&=' | '^=' | '|='
;
conditional_exp: logical_or_exp
| logical_or_exp '?' exp ':' conditional_exp
;
const_exp: conditional_exp
;
logical_or_exp: logical_and_exp
| logical_or_exp '||' logical_and_exp
;
logical_and_exp: inclusive_or_exp
| logical_and_exp '&&' inclusive_or_exp
;
inclusive_or_exp: exclusive_or_exp
| inclusive_or_exp '|' exclusive_or_exp
;
exclusive_or_exp: and_exp
| exclusive_or_exp '^' and_exp
;
and_exp: equality_exp
| and_exp '&' equality_exp
;
equality_exp: relational_exp
| equality_exp '==' relational_exp
| equality_exp '!=' relational_exp
;
relational_exp: shift_expression
| relational_exp '<' shift_expression
| relational_exp '>' shift_expression
| relational_exp '<=' shift_expression
| relational_exp '>=' shift_expression
;
shift_expression: additive_exp
| shift_expression '<<' additive_exp
| shift_expression '>>' additive_exp
;
additive_exp: mult_exp
| additive_exp '+' mult_exp
| additive_exp '-' mult_exp
;
mult_exp: cast_exp
| mult_exp '*' cast_exp
| mult_exp '/' cast_exp
| mult_exp '%' cast_exp
;
cast_exp: unary_exp
| '(' type_name ')' cast_exp
;
unary_exp: postfix_exp
| '++' unary_exp
| '--' unary_exp
| unary_operator cast_exp
| 'sizeof' unary_exp
| 'sizeof' '(' type_name ')'
;
unary_operator: '&' | '*' | '+' | '-' | '~' | '!'
;
postfix_exp: primary_exp
| postfix_exp '[' exp ']'
| postfix_exp '(' argument_exp_list ')'
| postfix_exp '('')'
| postfix_exp '.' id
| postfix_exp '->' id
| postfix_exp '++'
| postfix_exp '--'
;
primary_exp: id
| const
| string
| '(' exp ')'
;
argument_exp_list: assignment_exp
| argument_exp_list ',' assignment_exp
;
const: int_const
| char_const
| float_const
| enumeration_const
;