Handout - Institut für Theoretische Informatik - Technische ...

mathematischer Hintergrund
Mengen
Definition (disjunkte Vereinigung)
Die Summe oder disjunkte Vereinigung zweier Mengen A and B :
A + B := (A × {0}) ∪ (B × {1})
Jede andere Methode zur “Disjunktifizierung” der Mengen A und B ist
ebenfalls zulässig, z.B. folgende von Paul Taylor
A + B ∼ = { 〈U, V 〉 ∈ P(A) × P(B) : |U| + |V | = 1 }
Proposition
Die Menge X ∗
aller endlichen Wörter über einer Menge X erfüllt
X ∗ = ∑ { X n : n ∈ N }
Return
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 183 / 191