<程序>-><聲明列表>|<函數><程序>|ε函數
<聲明列表>-><聲明>|<聲明><聲明列表>spa
<聲明>-> #include < 標識符 . h >float
<函數>-><修飾符><標識符><形式參數><複合語句>程序
<修飾符>->void | int |char |float|double數字
<標識符>-> <D>|<D><標識符>|<N><標識符>運算符
<D>->a|b|...|z參數
<N>->0|1|2|...|9void
<F>->1|2|...|9
<數字>-><F><數字>|<N><數字>
<形式參數>-><修飾符><標識符>
<複合語句>->{<語句列表>}
<語句列表>-><語句>|<語句><語句列表>
<語句>-><條件語句>|<賦值語句>
<條件語句>-><S1>|<S2>
<S1>->if<b><條件語句> else <條件語句>
<S2>->if <b><條件語句>|<複合語句>
<b>-><邏輯表達式>
<邏輯表達式>-><標識符>|<N>|<邏輯運算符>|<標識符>|<N>
<邏輯運算符>-> >|=|>=|<=|<|!=
<賦值語句>-><標識符>=<表達式>
<表達式>-> T P|T
p-> +T | -T |ε
T->F*F|T/F|F
F->(表達式)|i
i-><數字> | <標識符>