初始狀態的用法和樣例：
例句
-
驗證協議的程序，它從一個給定的初始狀態機械地產生出一切可以到達的狀態，並且審查每一狀態下用戶定義的條件的有效性。
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.
