mejora implementacion metodo parse_form_file clase FA y comienzo implementacion metodo is_finite de DFA