若a为终结符，则A→α·aβ为（）项目。