initial state

漢語翻譯

例句：

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