Aufgabe zu theoretischer Informatik

Habe große Probleme mit diesen Aufgaben. Jede Hilfe wäre echt super!!!

1.Es sei A = {a, b}. Beschreiben Sie unter Benutzung nur der Symbole {,},a,b,€,U,*, +, sowie runde Klammer auf, runde Klammer zu und Komma, die folgenden formalen Sprachen:

a) die Menge aller Wörter über A, die das Teilwort ab enthalten
b) die Menge aller Wörter über A, deren vorletztes Zeichen ein b ist
c) die Menge aller Wörter über A, in denen nirgends zwei b’s unmittelbar hintereinander vorkommen.

  1. Es seien L1, L2 beliebige formale Sprachen, mit L1, L2 Teilmenge {a,b}*.

a) Geben Sie ein Beispiel für L1 und L2 an, so dass IL1I = IL2I = 3 und IL1 * L2I = IL1I * IL2I gilt.
Geben Sie zudem alle Elemente von L1 * L2 an.

b) Es sei n € N0 beliebig aber fest. Geben Sie zwei formale Sprachen L1 und L2 mit IL1I = IL2I = n an, so dass IL1*L2I = n².

c)Es sei n € N0 beliebig aber fest. Geben Sie zwei formale Sprachen L1 und L2 mit IL1I = IL2I = n an, so dass IL1*L2I

Hi, aber da bin ich leider zu weit weg um passende Hinweise zu geben.

Gruß, mucu