Sanakirja
Tekoälykääntäjä

Ääntäminen

  • ÄäntäminenUS
KieliKäännökset
italiaritrascrizione, rifacimento, rimaneggiamento
ranskaréécriture, réécrivant
  • Rewriting on sanan rewrite partisiipin preesens.

Määritelmät

Substantiivi

  1. The process or result of writing again; a rewrite.
  2. (logic, computer science) Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.

Taivutusmuodot

Monikkorewritings

Luokat


(logic, computer science) Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.

Pic.1: Schematic triangle diagram of application of a rewrite rule l ⟶ r {\displaystyle l\longrightarrow r} at position p {\displaystyle p} in a term, with matching substitution σ {\displaystyle \sigma }

(logic, computer science) Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.

Pic.2: Rule lhs term x ∗ ( y ∗ z ) {\displaystyle x*(y*z)} matching in term a ∗ ( ( a + 1 ) ∗ ( a + 2 ) ) 1 ∗ ( 2 ∗ 3 ) {\displaystyle {\frac {a*((a+1)*(a+2))}{1*(2*3)}}}