描述語言的語法結構的形式規(guī)則。
出現(xiàn)在文法產(chǎn)生式的右部且不能派生出符號或符號串的那些符號稱為終結符號。
對于文法的每個產(chǎn)生式都配備了一組屬性的計算規(guī)則，稱為語義規(guī)則。
由機器指令構成的程序。目標程序是經(jīng)過翻譯程序加工后用目標語言表示的程序。
一旦真假出口確定下來之后，用順著真鏈和假鏈把真假出口補上。
