Wir betrachten das Alphabet Σ = {0, 1}. Entwerfen Sie deterministische endliche Automaten mit folgenden Eigenschaften:
- a1: Ein DEA, der für eine ganze Zahl in Binärdarstellung entscheidet, ob die Zahl durch 2 ohne Rest teilbar ist.
- a2: Ein DEA, der für eine ganze Zahl in Binärdarstellung entscheidet, ob die Zahl durch 3 ohne Rest teilbar ist.
Wie in der letzten Aufgabe können Sie Ihre Lösungen wieder mit dem Haskellmodul Auto testen.