状态给定后，状态函数就有一定的值，反之亦然。