module A1 where import Auto -- Beispielautomat aus der Vorlesung -- Zustände s0 = startNode "s_0" s1 = node "s_1" s2 = node "s_2" s3 = terminalNode "s_3" st = startTerminalNode "st" -- Definition des Automaten mit seinen Übergängen example = newAuto <: s0 -//"1"/-> s0 <: s0 -//"0"/-> s1 <: s1 -//"1"/-> s0 <: s1 -//"0"/-> s2 <: s2 -//"0"/-> s2 <: s2 -//"1"/-> s3 <: s3 -//"01"/-> s3 -- Definieren Sie jetzt entsprechend die 5 Automaten aus der Aufgabe -- Sie können die oben definierten Zustände verwenden und weitere Zustände definieren a1 = newAuto a2 = newAuto a3 = newAuto a4 = newAuto a5 = newAuto