SUBDESIGN lab5zad1 ( we, zegar : INPUT; wy : OUTPUT; ) VARIABLE aut : MACHINE WITH STATES (s1, s2, s3, s4, s5); BEGIN aut.clk = zegar; TABLE aut, we => aut, wy; s1, 1 => s2, x; s1, 0 => s3, x; s2, 0 => s5, x; s2, 1 => s4, x; s3, 0 => s4, x; s4, x => s1, 0; s5, 1 => s1, 0; s5, 0 => s1, 1; END TABLE; END;