Fragen wie:
Was ist MSO?
Welche Sprachen sind MSO definierbar?
Ansatz für den Beweis von Büchern und Elgot?
Was für Baumautomaten gibt es?
Was ist eine Baumsprache?
Was ist die Baumweite eines Graphen?
Wie sieht eine Baumzerlegung aus?
Weshalb kodieren wir die Baumzerlegung beim Beweis für den Satz von Courcelle?