Dynamic and formal equivalence

Dynamic and formal equivalence are concepts from linguistics. 
When a language is translated into another one, there is a problem: the meaning of a word or a phrase in the first language is not the same as that of the word or phrase in the second language. The first language may also have words, phrases or grammatical structures that do not exist in the second language.
There are two possible ways to solve this problem: