<程式> -> <外部聲明>|<程式 外部聲明>
<外部聲明> -> <函數定義>|<定義>
<函數定義> -> <資料類型 聲明符 複合語句>
<資料類型> -> <無字元>|<字元類型>|<整型>|<浮點型>
<聲明符> -><指針 直接聲明符>|<直接聲明符>
<指針> -> <’*’>|<’*’指針>
<直接聲明符> -> <辨別符>|<直接聲明符 ‘[‘’]’>|>à<辨別符>|<直接聲明符 ‘[‘ 普通表達式’]’>|<辨別符 ‘（’ 參數表 ‘）’ >|<辨別符 ‘（’ ‘）’ >|<直接聲明符 ‘，’辨別符表>
<一般表達式> -> <條件表達式>
<參數表> -> <參數聲明>|<參數表 ‘，‘ 參數聲明>
<複合語句> -> <’{‘ ‘}’>|<’{‘ 語句清單 ‘}’ >|<’{‘ 聲明清單 語句表‘}’ >
<聲明表> -> <聲明>|<聲明清單 聲明>
<聲明> -> <内聲明符>|<内聲明符表 ‘，’内聲明符>
<内聲明符> -> <聲明符>|<聲明符 ‘=’ 初始化>
<初始化> -> <指派表達式>|<‘{’初始化清單'}‘>|<‘{’初始化清單 ‘,’ '}‘>
<初始化清單> -> <初始化>|<初始化清單 ‘,’ 初始化>
<語句清單> -> <語句>|<語句清單 語句>
<語句>->|<複合語句>|<表達式語句>|<選擇語句>|<循環語句>|<跳轉語句>
<表達式語句>-><';'>|<表達式';'>
<選擇語句>-><如果'('表達式')'語句>|<如果'('表達式')'語句 否則 語句>
<循環語句>-><當'('表達式')'語句>|<for循環'('表達式語句 表達式語句')'語句>|<for循環'('表達式語句 表達式語句 表達式')'語句>
<跳轉語句>->|<繼續';'>|<停止';'>|<傳回';'>|<傳回表達式';'>