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