Automaten auf endlichen Bäumen

Zusammenfassung

Am Anfang des vorherigen Kapitels haben wir gesehen, dass sich ein Wort als eine Menge von Positionen mit einer Nachfolgerfunktion auffassen lässt. Dies kann man in natürlicher Weise auf mehrere Nachfolgerfunktionen erweitern. So erhält man eben Bäume, die in der Informatik mindestens so eine wichtige Rolle wie Wörter spielen, siehe z.B. Parse-Bäume kontext-freier Grammatiken, abstrakte Datentypen, XML-Dokumente, etc.