Omega-Wörter und -Sprachen

• jede lineare Kripke-Struktur über V

  entspricht einem unendlichen Wort über Σ = 2^V

  Bsp: (0, 1)(0, 0)(0, 1)(1, 0)(1, 1)(1, 0)(1, 1)…

• ein unendliches Wort (Omega-Wort) über Σ

  ist eine Abbildung $\mathbb {N}$→Σ

• Σ^ω bezeichnet die Menge aller Omega-Wörter über Σ

• Schreibweise für Omega-Wörter
  mit schließlich periodischer Struktur:

  (0, 1)(0, 0)(0, 1) ((1, 0)(1, 1))^ω

  vgl. unendl. Dezimalbrüche 3/22 = 0.1$\overline{{36}}$