CYCLE ANALYSIS FOR DETERMINISTIC FINITE STATE AUTOMATA