| 词汇 | example_english_unification |
| 释义 | Examples of unificationThese 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. They were the unification of infinite trees and a new predicate for testing non-equality of those trees. Practical steps towards unification were also worked out, as we shall see. By reducing the size of an abstraction, abstract unification works on smaller objects and is therefore faster, even if no precision is gained. Further, operations such as term simplification in unification are best realized if the arguments in a head normal form are available as a vector. Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis. Equality of terms (unification or matching) and arithmetic are also covered explicitly at this stage. It finishes with techniques for making the translation of the unification grammar more efficient by filtering out redundant rules. Unification and some variants, which are used in the typing algorithms, are discussed in the appendix. The novelty of our proposal lies in the specification of an improved abstract unification procedure, better exploiting the interaction between sharing and linearity. The following section integrates our term representation into an overall computational model and proposes new machinery for the realization of higher-order unification. In order to discuss the properties of completion-unification and compression (and of the algorithm), we introduce a partial order on type schemes and environment schemes. The advantage of treating inherent features and parameters on a par is computational: it allows a direct implementation of parsing as unification. All were characterized by certain ' 'freedoms' ' or ' 'liberties' ', but such connotations disappeared in the course of the seventeenth century with the unification of the country. Finally, the notion of similarity between two cases is linked to the concepts of subsumption and anti-unification of terms. The unification test and propagation operations above would then take approximately 124 and 56 cycles. In the early 1990s, with expenses for unification soaring and unemployment figures increasing, cost containment became a central issue. The idea is that some quick check paths only filter unifications that fail very soon, and paths which filter more expensive unifications should be favored. This model permits word formation based solely on morpheme concatenation, driven by a feature-based unification grammar. For narrowing, we need unification and hence we use the following construction to lift a rule into a binding context. We summarize first the modifications to the machine structure that were implicit in our discussion of the treatment of higher-order unification. In particular, the unification algorithm has to be modified so that it only succeeds in one of the many cases, if at all. Moreover, the directionality of the unification in this case does violence to the observed extrarhymal status of domain-final consonants. A third algorithm, unification, computes a feature structure satisfying both of two given feature structures. This interpreter can without loss of completeness choose to use a unification step whenever one is applicable. By combining these two generalisations we obtain unification. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。