Prevodi za Unifikation u rečniku nemački » italijanski

(Pređite na italijanski » nemački)

Unifikation <Unifikation, -en> N f

Unifikation → Unifizierung

vidi i Unifizierung

Unifizierung <Unifizierung, -en> N f

Unifizierung

unificazione f

Jednojezični primeri (nisu ih verifikovali PONS urednici)

nemački

Insgesamt verfährt der Algorithmus nun, indem er immer die allgemeinst mögliche Auswahl triff und die Spezialisierung der Unifikation überlässt, die ihrerseits das allgemeinst mögliche Resultat erzeugt.

de.wikipedia.org

So nutzt etwa die Inferenzmaschine des Prolog-Interpreters Unifikation.

de.wikipedia.org

Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke.

de.wikipedia.org

Während logische Prädikate weiterhin durch Unifikation behandelt werden, werden die zusätzlichen Constraints gesammelt, in den Constraint-Speicher übertragen und von einem Constraint-Löser behandelt.

de.wikipedia.org

Man nennt eine solche Variablenbelegung Unifikation und sagt, die Variable wird mit diesem Wert unifiziert.

de.wikipedia.org

Zusammen mit den Mechanismen der Subsumtion, der Typisierung und der Unifikation bietet sie eine Möglichkeit, sprachliche Strukturen formal zu beschreiben.

de.wikipedia.org

Dies schließt die meisten starken Konzepte der Paradigmen mit ein, dazu gehören Funktionen höherer Ordnung, nicht-deterministische Ausführung und Unifikation.

de.wikipedia.org

Wenn die Ausgangsstrukturen allerdings nicht kombinierbare Angaben machen, dann schlägt die Unifikation (Unifikationsgrammatik) fehl.

de.wikipedia.org

Wenn innerhalb dieses rekursiven Vorgangs der Fall eintritt, dass zwei Merkmale mit demselben Namen, aber unterschiedlichen Werten in der Ergebnismatrix abgelegt werden sollen, dann schlägt die Unifikation fehl.

de.wikipedia.org

Die Unifikation hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt.

de.wikipedia.org