Phrase Structure Grammar

primary-expression ::=
        identifier
        constant
        string-literal
        ( expression )
 
postfix-expression ::=
        primary-expression
        postfix-expression  [ expression ]
        postfix-expression ( [argument-expression-list] )
        postfix-expression . identifier
        postfix-expression -> identifier
        postfix-expression ++
        postfix-expression --
 
argument-expression-list ::=
        assignment-expression
        argument-expression-list , assignment-expression
 
unary-expression ::=
        postfix-expression
        ++ unary-expression
        -- unary-expression
        unary-operator cast-expression
        sizeof unary-expression
        sizeof ( type-name )
 
 
unary-operator ::= one selected from
        &    *    +    -    ~    !
 
cast-expression ::=
        unary-expression
        (type-name) cast-expression
 
multiplicative-expression ::=
        cast-expression
        multiplicative-expression * cast-expression
        multiplicative-expression / cast-expression
        multiplicative-expression %% cast-expression
 
additive-expression ::=
        multiplicative-expression
        additive-expression + multiplicative-expression
        additive-expression - multiplicative-expression
 
shift-expression  ::=
        additive-expression
        shift-expression << additive-expression
        shift-expression >> additive-expression
 
relational-expression ::=
        shift-expression
        relational-expression < shift-expression
        relational-expression > shift-expression
        relational-expression <= shift-expression
        relational-expression >= shift-expression
 
equality-expression  ::=
        relational-expression
        equality-expression == relational-expression
        equality-expression != relational-expression
 
 
 
AND-expression  ::=
        equality-expression
        AND-expression & equality-expression
 
exclusive-OR-expression  ::=
        AND-expression
        exclusive-OR-expression
^ AND-expression
 
inclusive-OR-expression  ::=
        exclusive-OR-expression
        inclusive-OR-expression | exclusive-OR-expression
 
logical-AND-expression  ::=
        inclusive-OR-expression
        logical-AND-expression && inclusive-OR-expression
 
logical-OR-expression  ::=
        logical-AND-expression
        logical-OR-expression || logical-AND-expression
 
conditional-expression  ::=
        logical-OR-expression
        logical-OR-expression ? logical-OR-expression :
          conditional-expression
 
assignment-expression  ::=
        conditional-expression
        unary-expression  assign-operator
assignment-expression
 
assign-operator  ::= one selected from the set
        =   *=   /=   %=   +=   -=   <<=   >>=   &=  ^=  |=
 
 
expression  ::=
        assignment-expression
        expression , assignment-expression
 
constant-expression  ::=
        conditional-expression

declaration ::=
     declaration-specifiers
[init-declarator-list] ;
 
declaration-specifiers ::=
     storage-class
[declaration-specifiers]
     type-specifier
[declaration-specifiers]
     type-qualifier
[declaration-specifiers]
 
init-declarator-list ::=
     init-declarator
     init-declarator-list
, init-declarator
 
init-declarator ::=
     declarator
     declarator = initializer
 
storage-class-specifier ::=
     typedef
     extern
     static
     auto
     register
 
 
 
type-specifier ::=
     void
     char
     short
     int
     long
     float
     double
     signed
     unsigned
     struct-or-union-specifier
     enum-specifier
     typedef-name
 
struct-or-union
specifier ::=
      struct-or-union
[identifier] {struct-declaration-list}
      struct-or-union
identifier
 
struct-or-union ::=
      struct
      union
 
struct-declaration-list ::=
      struct-declaration
      struct-declaration-list
struct-declaration
 
struct-declaration ::=
      specifier-qualifier-list
struct-declarator-list;
 
specifier-qualifier-list  ::=
      type-specifier
[specifier-qualifier-list]
      type-qualifier
[specifier-qualifier-list]
 
struct-declarator-list ::=
      struct-declarator
      struct-declarator-list
, struct-declarator
 
struct-declarator ::=
      declarator
      [declarator] : constant-expression
 
 
enum-specifier ::=
      [ type-specifier ] enum [identifier] {enumerator-list}
      [ type-specifier ] enum identifier
 
 
enumerator-list ::=
      enumerator
      enumerator-list , enumerator
 
enumerator ::=
      enumeration-constant
      enumeration-constant = constant-expression
 
type-qualifier ::=
      const
      noalias
      volatile
 
declarator  ::=
      [pointer] direct-declarator
 
direct-declarator ::=
      identifier
      ( declarator )
      direct-declarator [ [constant-expression] ]
      direct-declarator ( parameter-type-list )
      direct-declarator ( [identifier-list] )
 
 
pointer ::=
     * [type-qualifier-list]
     * [type-qualifier-list]
pointer
 
type-qualifier-list ::=
     type-qualifier
     type-qualifier-list
type-qualifier
 
parameter-type-list ::=
     parameter-list
     parameter-list , ...
 
parameter-list ::=
     parameter-declaration
     parameter-list , parameter-declaration
 
parameter-declaration ::=
     declaration-specifiers
declarator
     declaration-specifiers
[abstract-declarator]
 
identifier-list ::=
     identifier
     identifier-list , identifier
 
type-name ::=
     specifier-qualifier-list
[abstract-declarator]
 
abstract-declarator ::=
     pointer
     [pointer]
direct-abstract-declarator
 
direct-abstract-declarator ::=
     ( abstract-declarator )
     [direct-abstract-declarator] [ [constant-expression] ]
     [direct-abstract-declarator] ( [parameter-type-list] )
 
typedef-name ::=
     identifier
 
initializer ::=
     assignment-expression
     {initializer-list}
     {initializer-list , }
 
initializer-list ::=
     initializer
     initializer-list , initializer

statement :=
     labeled-statement
     compound-statement
     expression-statement
     selection-statement
     iteration-statement
     jump-statement
 
labeled-statement :=
     identifier : statement
     case constant-expression : statement
     default: statement
 
compound-statement :=
     { [declaration-list] [statement-list] }
 
declaration-list :=
     declaration
     declaration-list declaration
 
statement-list :=
     statement
     statement-list statement
 
expression-statement :=
     [expression];
 
selection-statement :=
     if (expression) statement
     if (expression) statement else statement
     switch ( expression ) statement
 
iteration-statement :=
     while ( expression ) statement
     do  statement while ( expression )
     for ([expression]; [expression]; [expression] ) statement
 
jump-statement :=
     goto identifier ;
     continue ;
     break ;
     return [expression] ;

translation-unit :=
     external-declaration
     translation-unit
external-declaration
 
external-declaration :=
     function-definition
     declaration
 
function-definition :=
     [declaration-specifiers] declarator
[declaration-list]
        compound-statement