Translation vs Rewriting - What's the difference?
translation | rewriting |
(label) The act or (label) an act of translating, in its various senses:
# The conversion of text from one language to another.
# The conversion of something from one form or medium to another.
# (label) A motion or compulsion to motion in a straight line without rotation or other deformation.
# (label) The process whereby a strand of mRNA directs assembly of amino acids into proteins within a ribosome.
# A transfer of motion occurring within a gearbox.
# The conveyance of something from one place to another, especially:
## (label) An ascension to Heaven without death.
## (label) A transfer of a bishop from one diocese to another.
## (label) A transfer of a holy relic from one shrine to another.
## (label) A transfer of a disease from one body part to another.
(label) The product or end result of an act of translating, in its various senses.
The process or result of writing again; a rewrite.
(logic, computer science) a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms