ON MINIMIZATION OF STRICTLY DETERMINISTIC TIMED FINITE STATE MACHINESтезисы доклада