Blatt 2
Ready ?

Aus welchen Komponenten besteht ein Transitionssystem T ?

Was ist eine Spur?

Was ist eine Region?

Welche Beispiele für Regionen kennen Sie aus der Vorlesung?

Wie skaliert die Laufzeit der aufzählenden Suche?

Wann terminiert die aufzählende Suche?

Wofür ist die aufzählende Suche eigentlich gut?

2.1 Eigenschaften von Transitionssystemen T hoch R
Ready for the rest ?

Was sind diese (4) Eigenschaften ?

Was ist der Branching-Faktor k von T ?

Was ist der Durchmesser n von T ?

Was ist die maximale Anzahl von Zustände?

2.2 Erreichbarkeitsproblem
Ready for the rest ?

Was ist das Algorithmus für die Aufzählennde Suche ?

Was ist das Algorithmus für die symbolische Suche ?