定义当前状态和下一状态变量

• These are the current state and next state variables