Kosmas Pink:
Baumautomaten und reguläre Baumsprachen
Kurzbeschreibung
Die Arbeit führt reguläre Baumautomaten ein, stellt die verschiedenen Typen vor und vergleicht sie hinsichtlich ihrer Mächtigkeit. Es wird gezeigt, wie sich Baumautomaten als Verallgemeinerung von regulären Wortautomaten auffassen lassen. Weitere wesentliche Eigenschaften von Baumautomaten werden vorgestellt und es wird, wo möglich, die Brücke zu verwandten Konzepten aus dem Bereich der regulären Wortsprachen geschlagen. Als alternative Beschreibungsmodelle für reguläre Baumsprachen werden reguläre Baumgrammatiken und reguläre Baumausdrücke präsentiert.