Baumautomaten

Automaten, die auf baumartigen Eingaben statt auf Wörtern operieren und Mengen endlicher oder unendlicher Bäume (gerankt oder ungerankt) gemäß Akzeptanzbedingungen erkennen; sie dienen zur Charakterisierung regulärer Baumsprachen und zur Entscheidung von Eigenschaften von Termmodellen, Logiken über Bäume und Verifikationsaufgaben mit verzweigter Struktur.