Sanakirja.org

Määritelmät

Substantiivi

1. The act of writing again or anew.
2. Something that has been written again.
3. (mathematics, computing) The replacement of subterms of a formula with other terms, according to certain rules, by way of transformation.

Verbi

1. (transitive) To write again, differently; to modify; to revise.
2. (transitive) To write again (without changes).
3. (mathematics, computing) To replace subterms of a formula with other terms, according to certain rules, by way of transformation.