语言选择:
免费网上英汉字典|3Dict

observational equivalence

资料来源 : Free On-Line Dictionary of Computing

observational equivalence
     
        Two terms M and N are observationally equivalent iff for all
        contexts C[] where C[M] is a valid term, C[N] is also a valid
        term with the same value.
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z