Created by Stael Tchinda
over 5 years ago
|
||
Question | Answer |
4.1 Automaten Ready ? | Go ! |
Was ist ein endlicher Automat ? |
Image:
Grafik (binary/octet-stream)
|
Was ist die Definition von Determinismus ? |
Image:
Grafik (binary/octet-stream)
|
Was ist ein Lauf ? |
Image:
Grafik (binary/octet-stream)
|
Was ist die Standard-Akzeptanz ? |
Image:
Grafik (binary/octet-stream)
|
Was ist die Büchi-Akzeptanz ? |
Image:
Grafik (binary/octet-stream)
|
Was ist die Stutter-Extension ? |
Image:
Grafik (binary/octet-stream)
|
Was ist die Müller-Akzeptanz ? |
Wichtig ist zu merken, dass f eine Teilmenge von S ist.
Image:
Grafik (binary/octet-stream)
|
Was ist die Rabin-Akzeptanz ? |
Image:
Grafik (binary/octet-stream)
|
Was ist die Street Akzeptanz ? |
Image:
Grafik (binary/octet-stream)
|
4.2 Logik Ready ? | Go! |
Was bedeutet der Operator W ? |
Weak Until , binäre Operator
σ |= ( p W q ) ⟺ Jeder Zustand von σ erfüllt p solange q noch nicht erfüllt ist
Image:
Grafik (binary/octet-stream)
|
Was bedeutet der Operator U ? |
Until , binäre Operator
σ |= ( p U q ) ⟺ Jeder Zustand von σ erfüllt p solange q noch nicht erfüllt ist und q ist irgendwann erfüllt
Image:
Grafik (binary/octet-stream)
|
Was bedeutet der Operator G ? |
Always, unäre Operator
σ |= ( Gp ) ⟺ Jeder Zustand von σ erfüllt immer p
Image:
Grafik (binary/octet-stream)
|
Was bedeutet der Operator F ? |
Finally, unäre Operator
σ |= ( Fp ) ⟺ Mindestens ein Zustand von σ erfüllt p
Image:
Grafik (binary/octet-stream)
|
Was bedeutet der Operator X ? |
Next, unäre Operator
σ |= ( Xp ) ⟺ p ist wahr für den Lauf, der im unmittelbaren Folgezustand beginnt
Image:
Grafik (binary/octet-stream)
|
Was ist eine Rekurrenz-Eigenschaft ? | Eine Rekurrenz-Eigenschaft ist eine temporale Formel, die in der Form GFp notiert werden kann, für eine Zustandseigenschaft p. -> Falls p mal falsch werden sollte, so ist es immer garantiert, dass p später im Lauf wieder wahr wird. |
Was ist eine Stabilitäts-Eigenschaft ? | Eine Stabilitäts-Eigenschaft ist eine temporale Formel, die in der Form FGp notiert werden kann, mit p ist Zustandseigenschaft. -> Es wird ein Zeitpunkt kommen, ab dem p unveränderlich wahr ist. |
Was sind die Regeln ? (12) |
Image:
Grafik (binary/octet-stream)
|
Want to create your own Flashcards for free with GoConqr? Learn more.