Ad
related to: adequacy and equivalence in translation examples math practice 5th
Search results
Results From The WOW.Com Content Network
Formal equivalence is often more goal than reality, if only because one language may contain a word for a concept which has no direct equivalent in another language. In such cases, a more dynamic translation may be used or a neologism may be created in the target language to represent the concept (sometimes by borrowing a word from the source ...
The theory first appeared in an article published by linguist Hans Josef Vermeer in the German Journal Lebende Sprachen, 1978. [2]As a realisation of James Holmes’ map of Translation Studies (1972), [3] [4] skopos theory is the core of the four approaches of German functionalist translation theory [5] that emerged around the late twentieth century.
Sense-for-sense translation is the oldest norm for translating. It fundamentally means translating the meaning of each whole sentence before moving on to the next, and stands in normative opposition to word-for-word translation (also known as literal translation ).
He estimates that the theory and practice of English-language translation had been dominated by submission, by fluent domestication. He strictly criticized the translators who in order to minimize the foreignness of the target text reduce the foreign cultural norms to target-language cultural values.
In formal language theory, weak equivalence of two grammars means they generate the same set of strings, i.e. that the formal language they generate is the same. In compiler theory the notion is distinguished from strong (or structural) equivalence, which additionally means that the two parse trees [clarification needed] are reasonably similar in that the same semantic interpretation can be ...
Equisatisfiability is generally used in the context of translating formulae, so that one can define a translation to be correct if the original and resulting formulae are equisatisfiable. Examples of translations that preserve equisatisfiability are Skolemization and some translations into conjunctive normal form such as the Tseytin transformation.
In the category of sets, the coequalizer of two functions f, g : X → Y is the quotient of Y by the smallest equivalence relation ~ such that for every x ∈ X, we have f(x) ~ g(x). [1] In particular, if R is an equivalence relation on a set Y, and r 1, r 2 are the natural projections (R ⊂ Y × Y) → Y then the coequalizer of r 1 and r 2 is ...
It may be the case that several sufficient conditions, when taken together, constitute a single necessary condition (i.e., individually sufficient and jointly necessary), as illustrated in example 5. Example 1 "John is a king" implies that John is male. So knowing that John is a king is sufficient to knowing that he is a male. Example 2