Equivalencia dinámica y formal son dos técnicas de traducción. Para los Estudios de Traducción, la equivalencia es un concepto central, con aproximaciones distintas: algunos teóricos como Catford, Nida y Toury definen la traducción con base en la equivalencia. Por otro lado, otros académicos como Snell-Hornby y Gentzler rechazan el concepto por considerarlo dañino o irrelevante. Refiere, de manera muy general, a la relación que se establece entre un texto fuente y un texto meta que hace que se reconozca como una traducción, aunque el concepto se ha revisado desde diferentes perspectivas y presente problemáticas (como la circularidad traducción-equivalencia).[1]​
La equivalencia dinámica (también conocida como equivalencia funcional) intenta comunicar la idea expresada en el texto base (si es necesario, a costo de la literalidad, orden original de las palabras, la voz gramatical del texto base, etc.), mientras la formal intenta traducir el texto palabra por palabra (si es necesario, a costo de la expresión natural en el idioma final). Las dos técnicas representan un énfasis, respectivamente, de legibilidad o de fidelidad literal al texto base. Sin embargo, no hay en realidad una línea fija entre equivalencia dinámica y formal. Grosso modo, las dos representan un espectro de técnicas traductoras.
Los términos «equivalencia dinámica» y «equivalencia formal» son asociados con el traductor Eugene Nida, y fueron originalmente denominados para describir diferentes maneras de traducir la Biblia, pero las dos técnicas son aplicables a cualquier traducción.[1]​