reachable
音標['ri:tʃəbl]中文翻譯:
【計】 可達的
相關對話:
- 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.驗證協定的程式,它從一個給定的初始狀態機械地產生出一切可以到達的狀態,並且審查每一狀態下用戶定義的條件的有效性。
英文解釋:
形容詞 reachable:
- easily approached同義詞:approachable