狀態(tài)機的用法和樣例：
例句
-
驗證協(xié)議的程序，它從一個(gè)給定的初始狀態(tài)機械地產(chǎn)生出一切可以到達的狀態(tài)，并且審查每一狀態(tài)下用戶(hù)定義的條件的有效性。
A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.
