mealy 94.0 79.0 rot 281.0 79.0 rotgelb 282.0 240.0 grün 94.0 239.0 gelb 2 3 T y 3 0 T r 1 2 T g 0 1 T o Einfache Ampel E = {Timer abgelaufen T} A = {Timer auf Zeit für rot-gelb setzen o, Timer auf Zeit für grün setzen g, Timer auf Zeit für gelb setzen y, Timer auf Zeit für rot setzen r } 347.0 93.0