由状态唯一确定的函数值