Theoretische Informatik - Aufgaben

Aufgabe:  Sei A = {a, b}. Geben Sie Zustands­diagramme von deterministischen endlichen Automaten an, die folgende Sprachen über A erkennen:

1. { w  |  w beginnt mit a und endet mit b }
2. { w  |  w enthält mindestens drei b's }
3. { w  |  |w| ≤ 3 }
4. { w  |  w ≠ b  ∧  w ≠ bb }
5. { w  |  w = ε  ∨  w = b }
6. ∅