最左推导

最左推导：若符号串α中有两个以上的非终结符号，则对推导的每一步坚持把α中的最左非终结符号进行替换，称为最左推导。推导：x和y是符号串，若使用若干次产生式可以从x变换出y，则称x推导出y(或者说y是x的推导)，记为x y。