Parallelismus-Constraints sind partielle Beschreibungen von Bäumen. Wir verwenden sie als Repräsentationsformalismus in der
unterspezifizierten natürlichsprachlichen Semantik.
Parallelismus-Constraints sind
gleichmächtig wie Kontext-Unifikation, deren Entscheidbarkeit ein
bekanntes offenes Problem ist.
Dieser Text beschreibt ein
Semi-Entscheidungs-Verfahren für Parallelismus-Constraints
und eine
erste Implementierung. Anders als alle bekannten Verfahren für
Kontext-Unifikation terminiert diese Prozedur für
Dominanz-Constraints, eine für die linguistische Anwendung wichtige
Teilklasse.