Traduzioni di „Unifikation“ nel dizionario tedesco » italiano

Unifikation <Unifikation, -en> SOST f

Unifikation → Unifizierung

Vedi anche: Unifizierung

Unifizierung <Unifizierung, -en> SOST f

Unifizierung

unificazione f

Esempi monolingue (non verificati dalla Redazione di PONS)

tedesco

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