化简完全确定（）引用了状态（）的概念。