出現(xiàn)在文法產(chǎn)生式的右部且不能派生出符號或符號串的那些符號稱為終結(jié)符號。
源程序或者中間代碼程序中只有一個入口和一個出口的順序執(zhí)行的代碼段。
對于文法的每個產(chǎn)生式都配備了一組屬性的計算規(guī)則,稱為語義規(guī)則。