contents previous up next
Previous: Algorithmen und Datenstrukturen Up: Funktionsweise der aktiven Chart-Analyse Next: Kontrollmechanismen

Der nicht kontextfreie Fall

Die Einsatzmöglichkeiten der aktiven Chart-Analyse gehen jedoch weit über die kontextfreie Analyse hinaus. Die Kanten können z. B. nicht mit einem einfachen Kategoriesymbol, sondern mit einer Attributliste, die F-Strukturengif darstellt, markiert werden. Dadurch ist es möglich, die Erweiterung jeder aktiven Kante von der Kompatibilität ihrer F-Struktur mit der der anschließenden inaktiven Kante abhängig zu machen. Sind beide F-Strukturen kompatibel, so kann die Unifikationgif erfolgreich ausgeführt werden, und die neue Kante erhält als Markierung das Resultat der Unifikation.