Formal Equivalence Translation: A Case Study of Translation Strategy Used by National Palace MuseumNational Palace Museumformal equivalence translationculturally-circumscribed translationcomprehensibility of translationThis study aims to explore National Palace Museum (NPM)'s English texts for its This study ...
a formal-equivalence translation is basically source-oriented, i.e. it attempts to reveal as much as possible the content and formal of the source message. Thus, an F-E translation tries to reproduce several elements, including: grammatical units, the consistency in word usage and the meanings...
aDynamic equivalence and formal equivalence are terms for methods of translation coined by Eugene Nida. The two terms have often been understood as fundamentally the same as sense-for-sense translation (translating the meanings of whole sentences) and word-for-word translation (translating the ...
超额翻译 over-translation欠额翻译 under-translation翻译腔 translationese音译transliteration直译literal translation;direct translation意译free translation;liberal translation死译rigid translation回译back translation翻译研究 translation studies形式对等 formal equivalence功能对等 functional e 发布于 2022-05-24 15:52 ...
language of the other (Kurshan's approach is typical[53]). One particularly simple case occurs when comparing a synchronous FSM with its hardware implementation. Then both automata are on finite strings, and the proof of equivalence can be performed by traversing the state space of their ...
One can find two equivalence rules used in Caramuel's writing:36 1 nx↔y where x and y stand for contradictories (e.g. e and i) 2 xn↔y where x is any statement (e.g. e) and y is its contrary or subcontrary (e.g. a) What we get are two equivalent eight-member sets ...
of equivalence, as agreed by many translation theorists home and abroad, is a decisive factor in disclosing the nature of translation and a criterion by which the quality of translation is judged. Basically, the diversity of translation theories is attributed to the varied views on equivalence. ...
We present some equivalence and optimization laws of XQuery in [A Equivalences]. Cited literature includes: monads [Mog89], [Mog91], [Wad92], [Wad93], [Wad95], NRA [BNTW95], [Col90], [LW97], [LMW96], OQL [BK93], [BKD90], [CM93], Quilt [Quilt], SQL [Date97], UnQL [...
establish the desired semantic equivalence, compilation is aborted. Since the validator can be developed independently from the compiler, and generally uses very different algorithms than those of the compiler, translation validation significantly increases the ...
We evaluate our technique on several industrial sequential equivalence checking (SEC) problems from IBM, SEC problems derived from designs in the Hardware Model Checking Competition (HWMCC) and SEC problems from academia. In addition, we evaluate it on HWMCC benchmarks. IC3 with internal signals ...