enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Logic translation - Wikipedia

    en.wikipedia.org/wiki/Logic_translation

    A logic translation is a translation of a text into a logical system. For example, translating the sentence "all skyscrapers are tall" as ∀ x ( S ( x ) → T ( x ) ) {\displaystyle \forall x(S(x)\to T(x))} is a logic translation that expresses an English language sentence in the logical system known as first-order logic .

  3. Skopos theory - Wikipedia

    en.wikipedia.org/wiki/Skopos_theory

    Skopos theory (German: Skopostheorie) is a theory in the field of translation studies that employs the prime principle of a purposeful action that determines a translation strategy. [1] The intentionality of a translational action stated in a translation brief , the directives , and the rules guide a translator to attain the expected target ...

  4. Equivalence (translation) - Wikipedia

    en.wikipedia.org/wiki/Equivalence_(translation)

    In translation and semantics, dynamic equivalence and formal equivalence are seen as the main approaches to translation that prioritize either the meaning or literal structure of the source text respectively. The distinction was originally articulated by Eugene Nida in the context of Bible translation.

  5. Translation studies - Wikipedia

    en.wikipedia.org/wiki/Translation_studies

    Translation studies is an academic interdiscipline dealing with the systematic study of the theory, description and application of translation, interpreting, and localization.

  6. Transfer-based machine translation - Wikipedia

    en.wikipedia.org/wiki/Transfer-based_machine...

    Bernard Vauquois' pyramid showing comparative depths of intermediary representation with interlingual machine translation at the peak, followed by transfer-based, then direct translation. Transfer-based machine translation is a type of machine translation (MT). It is currently one of the most widely used methods of machine translation.

  7. Comparison of different machine translation approaches

    en.wikipedia.org/wiki/Comparison_of_different...

    A DMT system is designed for a specific source and target language pair and the translation unit of which is usually a word. Translation is then performed on representations of the source sentence structure and meaning respectively through syntactic and semantic transfer approaches. A transfer-based machine translation system involves three ...

  8. Diagram (mathematical logic) - Wikipedia

    en.wikipedia.org/wiki/Diagram_(mathematical_logic)

    In model theory, a branch of mathematical logic, the diagram of a structure is a simple but powerful concept for proving useful properties of a theory, for example the amalgamation property and the joint embedding property, among others.

  9. Polysystem theory - Wikipedia

    en.wikipedia.org/wiki/Polysystem_theory

    The polysystem theory, a theory in translation studies, implies using polyvalent factors as an instrument for explaining the complexity of culture within a single community and between communities. Analyzing sets of relations in literature and language, it gradually shifted towards a more complex analysis of socio-cultural systems .