Dann wird wohl AB sowas wie die Konkatenation der Sprachen sein, also
die Menge aller Wörter, die man durch hintereinanderfügen eines Wortes aus A und
eines aus B erhalten kann.
Wenn du also etwa A(B∪C) = AB ∪ AC beweisen willst, dann musst du wie bei Mengengleichheit
beginnen mit
Sei x ∈ A(B∪C) .
dann gibt es u∈ A und v∈ B∪C mit x = uv
...........................
bis du hast x ∈ AB ∪ AC
und dann umgekehrt
x ∈ AB ∪ AC ==> x ∈ A(B∪C) .
Wenn beides gelingt, sind die Mengen, also die
Sprachen, gleich.
