当前位置

首页 » 首字母: r

reachable

  • 英文:
    reachable
  • 发音:
  • 音标:
    ['ri:tʃəbl;'ri:tʃəbəl]
  • 翻译:
    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.
    • 中文：验证协议的程序, 它从一个给定的初始状态机械地产生出一切可以到达的状态, 并且审查每一状态下用户定义的条件的有效性。
  • 编号:
    94144
更多

添加新评论

关于文本格式的更多信息

Filtered HTML

  • 自动将网址与电子邮件地址转变为链接。
  • 允许的HTML标签：<a> <em> <strong> <cite> <blockquote> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • 自动断行和分段。

Plain text

  • 不允许使用HTML标签。
  • 自动将网址与电子邮件地址转变为链接。
  • 自动断行和分段。