4.1 Automaten

Ready ?

Was ist ein endlicher Automat ?

Was ist die Definition von Determinismus ?

Was ist ein Lauf ?

Was ist die Standard-Akzeptanz ?

Was ist die Büchi-Akzeptanz ?

Was ist die Stutter-Extension ?

Was ist die Müller-Akzeptanz ?

Was ist die Rabin-Akzeptanz ?

Was ist die Street Akzeptanz ?

4.2 Logik
Ready ?

Was bedeutet der Operator W ?

Was bedeutet der Operator U ?

Was bedeutet der Operator G ?

Was bedeutet der Operator F ?

Was bedeutet der Operator X ?

Was ist eine Rekurrenz-Eigenschaft ?

Was ist eine Stabilitäts-Eigenschaft ?

Was sind die Regeln ?
(12)