Extraction and recoding of input-[epsiv]-cycles in finite state transducers