若状态k含有项目“A→α·”，对任意非终结符a，都用规则“A →α”归约的语法分析方法是( )。