<程式>-><外部聲明>
<外部聲明>-><函數定義>|<聲明>
<函數定義>-><類型說明符><聲明符><複合語句>
<類型說明符>-><空型>|<字元型>|<整型>|<浮點型>
<聲明符>-><指針直接聲明符>|<直接聲明符>
<指針>-><'*'>|<'*'指針>
<直接聲明符>-><辨別符>|<直接聲明符'['']'>|<直接聲明符'['常量表達式']'>|<辨別符'('參數表')'>|<辨別符'(' ')'>|<直接聲明符','辨別符表>
<辨別符表>:<辨別符>|<辨別符表','辨別符>
<常量表達式>-><條件表達式>
<參數表>-><參數聲明>|<參數表','參數聲明>
<參數聲明>-><聲明符 辨別符>
<複合語句>-><'{''}'>|<'{'語句清單'}>|<'{'聲明清單 語句清單'}'>
<聲明清單>-><聲明>|<聲明清單 聲明>
<聲明>-><初始化聲明符>|<初始化聲明符表','初始化聲明符>
<初始化聲明符>-><聲明>|<聲明'='初始化>
<初始化>-><指派表達式>|<'{'初始化表'}'>|<'{'初始化表',''}'>
<初始化表>-><初始化>|<初始化表','初始化>
<語句清單>-><語句>|<語句清單 語句>
<語句>->|<複合語句>|<表達式語句>|<選擇語句>|<循環語句>|<跳轉語句>
<表達式語句>-><';'>|<表達式';'>
<選擇語句>-><如果'('表達式')'語句>|<如果'('表達式')'語句 否則 語句>
<循環語句>-><當'('表達式')'語句>|<for循環'('表達式語句 表達式語句')'語句>|<for循環'('表達式語句 表達式語句 表達式')'語句>
<跳轉語句>->|<繼續';'>|<停止';'>|<傳回';'>|<傳回表達式';'>
<表達式>:指派表達式|<一進制表達式 指派運算符 指派表達式>
<條件表達式>-><邏輯或表達式>|<邏輯或表達式'?'表達式':'條件表達式>
<邏輯或表達式>:<包容性或表達式>|<邏輯與表達式 與OP 包容性或表達式>
<包容性或表達式>-><異或表達式>|<包容性或表達式'|'異或表達式>
<異或表達式>:<與表達式>|<異或表達式'^'與表達式>
<與表達式>:<等表達式>|<與表達式'&'等表達式>
<等表達式>:<關系式>|<等表達式EQ_OP 關系式>|<等表達式NE_OP 關系式>
<關系式>:<移動式>|<關系式'<'移動式>|<關系式'>'移動式>|<關系式LE_OP移動式>|<關系式GE_OP移動式>
<移動式>:<加表達式>|<移動式 左_OP 加表達式>|<移動表達式 右_OP 加表達式>
<加表達式>:<乘式>|<加表達式'+'乘式>|<加表達式'-'乘式>
<乘式>:<轉換表達式>|<乘式'*'轉換表達式>|<乘式'/'轉換表達式>|<乘式'%'轉換表達式>
<轉換表達式>:<一進制表達式>|<'('類型名稱')'轉換表達式>
<一進制表達式>:<字尾表達式>|<INC_OP 一進制表達式>|<DEC_OP 一進制表達式>|<一進制運算符 轉換表達式>|<SIZEOF 一進制表達式>|<SIZEOF'('類型名稱')'>
<字尾表達式>-><主要表達式>|<字尾表達式'['表達式']'>|<字尾表達式'('')">|<字尾表達式'('參數表達式清單')'>|<字尾表達式'.'辨別符>|<字尾表達式 PTR_OP 辨別符>|<字尾表達式 INC_OP>|<字尾表達式 DEC_OP>