描述語言的語法結(jié)構(gòu)的形式規(guī)則。
任何一步α=>β都是對α中的最右非終結(jié)符替換。
過程的嵌套層次顯示表,記錄該過程的各外層過程的最新活動(dòng)記錄的起始地址。