Sanakirja
Tekoälykääntäjä

Synonyymit

Ääntäminen

    • IPA: /ˌju.nɪ.fɪ.ˈkeɪ.ʃən/

Määritelmät

Substantiivit

  1. The act of unifying.
  2. The state of being unified.
  3. (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.

Esimerkit

  • 1</sub>, applied to X, Y, terminates after a finite number of steps. (ii) {X, Y} is unifiable iff UNIF1 so indicates upon ter- mination. Moreover, the substitution σ then available as out- put is a most general unifier of {X, Y}.

Taivutusmuodot

Monikkounifications

Luokat