请输入您要查询的英文单词:
单词
bisimilar
释义
bisimilar
简明释义
adj.
双相似的:在计算机科学和逻辑中,指两个过程或系统在某种程度上具有相似的行为特征。
双语例句
1
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are
bisimilar
.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
随便看
deduction solid solution
deduction system
deduction test
deduction theorem
deduction tree
deduction variation certificate
deduction wage
deduction wage system
deduction wage system
deductios and exemptions
deductive
deductive algorithm
deductive analysis
deductive approach
deductive argument
deductive argumentation
deductive conclusion
deductive coverage clause
deductive data
deductive data base
deductive database
deductive demonstration
deductive diagnosis
deductive diagnosis strategy
deductive explanation
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/4/18 0:27:00