Cerrar
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)
