请使用 BNF 表示方法按照C11标准写一个C语言子集的文法分析，包括表达式、赋值语句、分支语句和循环语句

以下是一个C语言子集的文法分析，包括表达式、赋值语句、分支语句和循环语句的BNF表示方法：

<程序> ::= <语句>

<语句> ::= <表达式语句> | <赋值语句> | <分支语句> | <循环语句>

<表达式语句> ::= <表达式> ';'

<表达式> ::= <标识符> | <常量> | <一元运算符表达式> | <二元运算符表达式>

<一元运算符表达式> ::= <一元运算符> <表达式>

<二元运算符表达式> ::= <表达式> <二元运算符> <表达式>

<一元运算符> ::= '+' | '-' | '++' | '--' | '!' | '~'

<二元运算符> ::= '+' | '-' | '*' | '/' | '%' | '==' | '!=' | '>' | '<' | '>=' | '<=' | '&&' | '||' | '&' | '|' | '^' | '<<' | '>>'

<标识符> ::= <字母> { <字母> | <数字> | '_' }

<常量> ::= <整数常量> | <浮点常量> | <字符常量>

<整数常量> ::= <数字> { <数字> }

<浮点常量> ::= <数字> { <数字> } '.' { <数字> }

<字符常量> ::= '\'' <字符> '\''

<字符> ::= <字母> | <数字> | <特殊字符>

<特殊字符> ::= '\n' | '\\' | '\'' | '\"' | '\t' | '\r' | '\a' | '\b' | '\f' | '\v'

<赋值语句> ::= <标识符> '=' <表达式> ';'

<分支语句> ::= 'if' '(' <表达式> ')' <语句> [ 'else' <语句> ]

<循环语句> ::= 'while' '(' <表达式> ')' <语句> | 'do' <语句> 'while' '(' <表达式> ')' | 'for' '(' [<表达式>] ';' [<表达式>] ';' [<表达式>] ')' <语句>