Ampelschaltung

Ampelschaltung

hi, ich wollte folgende aufgabe lösen:
http://wwwhni.uni-paderborn.de/fileadmin/hni_eps/GTI_GRA_Klausuren/GTI_Klausur_010308.pdf
(augabe 2)

könntet ihr bitte meine lösung kommentieren, also sagen, obs richtig oder falsch ist.
und wenns falsch ist was daran falsch ist?

in den mooreautomaten hät ich folgendes erweitert:
IDLE hat die ausgabe "01" ,
der pfeil der wieder auf IDEL zeigt bekommt button = 0,
der pfeil der auf WATING zeigt bekommt button = 1

WAITING hat die ausgabe "11",
der pfeil der wieder auf WAITING zeigt bekommt counter = 0,
der pfeil der auf WALK zeigt bekomm counter = 1

WALK hat die ausgabe "00",
der pfeil der wieder auf WALK zeigt bekommt counter = 0,
der pfeil der auf IDLE zeigt bekommt counter = 1




entity FSM is
--port( clk, reset, button : in STD_LOGIC;
--------color : out bit_vector(0 to 1));
end entity FSM;


architecture behavioral of FSM is
----type t_state is(IDLE, WAITING, WALK);
----signal current_state : t_state;
----signal counter : STD_LOGIC;

--begin
------fsm_proc : process(clk, reset, button)
------begin
--------if reset = '1' then
----------current_state