- Unifikation
- Uni|fi|ka|ti|ondie; -, -en<zu ↑unifizieren u. ↑...ation>:1. svw. ↑Unifizierung.2. das Gleichmachen von zwei Fakten durch Ersetzen der Variablen durch Terme (EDV);vgl. ↑...ation/...ierung.
Das große Fremdwörterbuch. 2013.
Unifikation
Schlagen Sie auch in anderen Wörterbüchern nach:
Unifikation — Eine Unifikation (Zusammenführung) ist in der Logik eine Operation, siehe Unifikation (Logik), in der Linguistik eine Operation in einer Unifikationsgrammatik, in Unicode die Zusammenführung von als gleich erkannten CJK Zeichen, siehe Unicode … Deutsch Wikipedia
Unifikation (Logik) — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Zwei Ausdrücke werden unifiziert, indem ihre Variablen so durch geeignete Terme ersetzt werden, dass die resultierenden Ausdrücke gleich sind. Die Unifikation hat… … Deutsch Wikipedia
Unifikation — Uni|fi|ka|ti|on 〈f. 20; veraltet〉 Vereinigung, Vereinheitlichung; Sy Unifizierung [→ unifizieren] * * * Uni|fi|ka|ti|on, die; , en (bes. Fachspr.): Unifizierung … Universal-Lexikon
Unifikation — Det at unificere … Danske encyklopædi
Unifikation — U|ni|fi|ka|ti|on 〈f.; Gen.: , Pl.: en〉 Vereinigung, Vereinheitlichung; Syn. Unifizierung [Etym.: <lat. unus »ein« + …fikation] … Lexikalische Deutsches Wörterbuch
Unifikation — Uni|fi|ka|ti|on, die; , en; vgl. Unifizierung … Die deutsche Rechtschreibung
Unifikator — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Diese hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt. So nutzt etwa die Inferenzmaschine des PROLOG Interpreters… … Deutsch Wikipedia
Attribut-Wert-Matrix — Eine Attribut Wert Matrix (AWM), auch Merkmal Wert Struktur, ist eine formale Struktur, die vor allem in der Linguistik, speziell im Bereich der Unifikationsgrammatiken und der Head driven Phrase Structure Grammar verwendet wird. Mit Attribut… … Deutsch Wikipedia
Merkmalsstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Merkmalstrukturen — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
