填空题

化简完全确定()引用了状态()的概念。

【参考答案】

状态图 ;等效