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

Spanish Vocabulary- Beginner
PatrickNoonan
Geometry Formulas
Selam H
Hitler and the Nazi Party (1919-23)
Adam Collinge
Cognitive Psychology - Loftus and Palmer (1974)
Robyn Chamberlain
AQA GCSE Physics Unit 2
Gabi Germain
History - Treaty of Versailles
suhhyun98
What are they doing?
Tamara Urzhumova
Functionalist Theory of Crime
A M
1PR101 2.test - Část 4.
Nikola Truong
Diseño de Software
Verny Fernandez
MAPA MENTAL DISEÑO GRAFICO
Lizbeth Domínguez