True/False Flashcards
1
Q
Sei Fsko eine Formel in Skolemnormalform, die aus der pr¨adikatenlogischen Formel F durch Skolemisierung entstanden ist. Dann gilt: Fsko |= F
A
True
2
Q
Das ω-Wort (aba)ω ist Element des Limes lim(K), wobei K die Sprache ist, die durch den regul¨aren Ausdruck (bba)∗bb beschrieben wird.
A
False
3
Q
Wenn der Wert einer JML-Schleifenvariante nach jeder Schleifeniteration nicht-negativ ist, dann ist die Terminierung der Schleife garantiert.
A
False
4
Q
Sei (Σ, E) ein kanonisches Termersetzungssystem. Dann ist f¨ur beliebige Grundterme s, t entscheidbar, ob E |= s = t
A
True
5
Q
F¨ur jede LTL-Formel φ gibt es einen entsprechenden deterministischen B¨uchiautomaten, der genau die Modelle von φ akzeptiert
A
False
