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.
可达到的
热门查询
- next adj.紧接在后的,次于的,贴近的,紧邻的 adv.接下去,然后,居后地,依次的 n.下一位,下一个 prep.靠近,居于…之后,在…的隔壁
- nextel n.（用于舞台和电影化装中的）“纳克斯泰尔”人造血（商标名）
- nexus n.（事物、思想等之间的）联结，联系，关系
- nfc abbr.National Football Conference 国家足球联盟 ,Near Field Communication 近距离无线通信技术,National Framework Contract 国家体制合同 ,nuclear fuel cycle 核燃料循环
- nfd abbr.no fixed date 无固定日期,non-fat dry (milk) 脱脂奶粉
- nfl abbr.National Football League 美国国家足球联盟
- nfs abbr.neurofibromas 神经纤维瘤,neurofilaments 神经丝
- nfu abbr.not for us 不是给我们，不是为了我们
- nfwi abbr.National Federation of Women's Institutes <英>全国妇女协会联合会
- nga abbr.National Graphical Association <英>全国印刷协会,网络游戏魔兽世界最大的中文网站艾泽拉斯国家地理英文名称 National Geographic of Azeroth 的简写
- ngaio n.苦槛蓝
- ngbaka n.恩巴卡语（扎伊尔北部的一种班图）
考试词汇表
