体系的状态确定之后，每一个状态函数都具有单一确定的值