3.1.6 SDT中左递归的消除