Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...

Kapitel 0: Grundbegriffe
Mengen / Relationen
u Durchschnitt / Vereinigung / Differenz / Potenzmenge
A ∩ B
• A ∪ B = { x | x ∈ A oder x ∈ B }
• A ∩ B = { x | x ∈ A und x ∈ B }
• A \ B = { x | x ∈ A und x ∉ B }
• 2 A = { M | M ⊆ A }
A ∪ B
A
B
A
A
B
B
A \ B
u Einfache Zusammenhänge
• A ⊆ (A ∪ B), B ⊆ (A ∪ B)
• (A ∩ B) ⊆ A, (A ∩ B) ⊆ B
• (A \ B) ⊆ A
• ∅ ∈ 2 A , A ∈ 2 A
0/2, Folie 16 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik