These are the current state and next state variables

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