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.
module A2 where
import Auto
s0 = startNode "s_0"
s1 = node "s_1"
s2 = node "s_2"
s3 = terminalNode "s_3"
st = startTerminalNode "st"
a1 = newAuto
a2 = newAuto
Subato
