Benutzer:MartinThoma/Omega-Struktur

Eine omega-Struktur ist ${\mathcal {R}}=(\mathbb {N} ,<,\xi )$ ist ein Begriff der Logik, der in Zusammenhang mit Büchi-Automaten steht.

Literatur

• http://formal.iti.kit.edu/teaching/FormSysWS1415/43LTL-print.pdf