時序邏輯中狀態(tài)化簡的目的在于降低成本。