二叉图的英文

• binary graph

• "二"英文翻译    two
• "叉"英文翻译    part so as to form a fork; f ...
• "图"英文翻译    picture; chart; drawing; map
• "交叉图" 英文翻译 :    cross chart; transposition pattern
• "音叉图" 英文翻译 :    tuning-fork diagram
• "负载交叉图" 英文翻译 :    cross loading graph
• "交叉图案" 英文翻译 :    cross figure
• "二叉的" 英文翻译 :    bifurcate; dichotomizing; dichotomous; forked
• "二叉堆" 英文翻译 :    binary heap
• "二叉脉" 英文翻译 :    forked venation
• "二叉式" 英文翻译 :    dichotomy
• "二叉树" 英文翻译 :    b tree; b-tree; binary tree
• "遍历二叉树" 英文翻译 :    traversing binary tree
• "对称二叉树" 英文翻译 :    symmetric binary tree
• "二叉表示树" 英文翻译 :    binny expression tree
• "二叉查找树" 英文翻译 :    binary search tree; bintree
• "二叉存储树" 英文翻译 :    binary storage tree
• "二叉分类树" 英文翻译 :    binary sort tree
• "二叉分枝" 英文翻译 :    dichotomous branching，dci－hotomy; false dichotomous branching
• "二叉分枝式" 英文翻译 :    dichotomous branching
• "二叉分支" 英文翻译 :    dichotomy
• "二叉复制" 英文翻译 :    dichotomous replication
• "二叉骨针" 英文翻译 :    forceps
• "二叉检索树" 英文翻译 :    binary search tree
• "二叉扣缺" 英文翻译 :    bifurcate lump

• 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
  符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。