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