| 词汇 | example_english_equivalence |
| 释义 | Examples of equivalenceThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Recall that a feature structure can be represented either as a graph or as a set of path value and path equivalence constraints. The opposite direction of this implication, that is, the completeness of the logical relations with respect to contextual equivalence remains future work. The equivalence of (i) and (ii) is straightforward. Within a paradigm, this is relatively straightforward as there are often direct equivalences. As these examples show, what we are dealing with here are areas of strong structural equivalence between the two languages. We give two examples of finite invariant measures on the space of locally finite trees (which is endowed with a natural treed equivalence relation). The equivalence here is more lax: all we require is that the two trees represent the same mapping. We use an equivalence on trees instead of worrying about representation. The equivalence relation that only considers the public interface will be more useful to the programmer than intensional equality, because it is more permissive. In this section we give the precise statement of this equivalence. The attributes were allowed to vary across three chosen levels (representing an improvement to or an equivalence to the status quo) across the options. Given this framework, we can say precisely what is meant by equivalence. In contrast, in the presence of viscosity, there is no such equivalence. Their system proves fewer program transformations as equalities, requiring instead the more difficult notion of observational equivalence. This result is not general, as more realistic population structures do not give this equivalence. This property is referred to as hypothesis equivalence. Each set of equivalence classes is called a limited model of simply typed lambda calculus. Since our language is typed, it is more convenient to define the equivalence in terms of type-indexed families of relations. This approach also enables efficient low-level manipulation of feature structures, such as block copying and block equivalence checking. This approach aims to classify vector fields according to the arithmetic properties of their flows, with the equivalence classes being stable manifolds under renormalization. Our compilation ensures that the syntactic type chosen is always the canonical type from the relevant equivalence class. This equivalence fails to hold in the absence of a fairness requirement. We need to understand how the structures of m-equivalence and m-entropy behave under projections to a factor. When speakers back then used a substance term, they were referring to samples of stuff bearing a certain equivalence relation to paradigmatic samples. Because an equivalence is reflexive, they include all original symmetries. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。