显然啊，终态无后继状态，后继状态的sg函数值的集合自然为0