Ads
related to: suggested synonym formal language translator pdf
Search results
Results From The WOW.Com Content Network
The more the source language differs from the target language, the more difficult it may be to understand a literal translation without modifying or rearranging the words in the target language. On the other hand, formal equivalence can allow readers familiar with the source language to analyze how meaning was expressed in the original text ...
Translation of an English sentence to first-order logic. Logic translation is the process of representing a text in the formal language of a logical system.If the original text is formulated in ordinary language then the term natural language formalization is often used.
Rudolph Carnap defined the meaning of the adjective formal in 1934 as follows: "A theory, a rule, a definition, or the like is to be called formal when no reference is made in it either to the meaning of the symbols (for example, the words) or to the sense of the expressions (e.g. the sentences), but simply and solely to the kinds and order of the symbols from which the expressions are ...
"Formal equivalence" (sought via "literal" translation) attempts to render the text literally, or "word for word" (the latter expression being itself a word-for-word rendering of the classical Latin verbum pro verbo) – if necessary, at the expense of features natural to the target language.
Formal linguistics is the branch of linguistics which uses applied mathematical methods for the analysis of natural languages. Such methods include formal languages, formal grammars and first-order logical expressions. Formal linguistics also forms the basis of computational linguistics.
Formal languages are used as tools in multiple disciplines. However, formal language theory rarely concerns itself with particular languages (except as examples), but is mainly concerned with the study of various types of formalisms to describe languages. For instance, a language can be given as those strings generated by some formal grammar;
Literal translation, direct translation, or word-for-word translation is the translation of a text done by translating each word separately without analysing how the words are used together in a phrase or sentence. [1] In translation theory, another term for literal translation is metaphrase (as opposed to paraphrase for an analogous translation).
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 ...