FSV Kapitel 4

Description

Automaten und Logik
Stael Tchinda
Flashcards by Stael Tchinda, updated more than 1 year ago
Stael Tchinda
Created by Stael Tchinda over 5 years ago
1
0

Resource summary

Question Answer
4.1 Automaten Ready ? Go !
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 ? Wichtig ist zu merken, dass f eine Teilmenge von S ist.
Was ist die Rabin-Akzeptanz ?
Was ist die Street Akzeptanz ?
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
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
Was bedeutet der Operator G ? Always, unäre Operator σ |= ( Gp ) ⟺ Jeder Zustand von σ erfüllt immer p
Was bedeutet der Operator F ? Finally, unäre Operator σ |= ( Fp ) ⟺ Mindestens ein Zustand von σ erfüllt p
Was bedeutet der Operator X ? Next, unäre Operator σ |= ( Xp ) ⟺ p ist wahr für den Lauf, der im unmittelbaren Folgezustand beginnt
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)
Show full summary Hide full summary

Similar

Macbeth Scene Summaries
Ebony1023
English Techniques
shenaii matlock
Themes in Macbeth
annasc0tt
Chemistry C1
Phoebe Drew
Astronomy Practice Quiz
cbruner
An Inspector Calls - Quotes
jaynejuby
Longevidad y Envejecimiento Fisiológico
Isaac Alexander
English Exam Revision
Olivia Gniadek
Slavery documents
Denise Draper
The Great Gatsby: Love
Shani Casey
English Language Techniques 2
Adam Arrell