思考
1、一個DFA的輸入符號由DFA或者并發(fā)的自動機組成;
2、用狀態(tài)機或者并發(fā)狀態(tài)機,來描述軟件的靜態(tài)邏輯結(jié)構(gòu)(業(yè)務(wù)流程,控制流程),軟件動態(tài)行為是由靜態(tài)的邏輯所決定的;
3、可以作為一個強有力的模型驗證工具,錯誤異常處理器。
posted on 2009-11-20 18:03 肥仔 閱讀(347) 評論(0) 編輯 收藏 引用 所屬分類: 狀態(tài)機 & 自動機 & 形式語言