• 基本
  • 词变
  • 详解
  • 双解
  • 英英
  • 词组
  • 例句

首页 > > reachable

reachable

['ri:tʃəbl]

adj. 可达成的, 可获得的

例句与用法:

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.

验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。

a.

可达到的