Combinatorial Characterization of Independent Transducers via Functional Digraphs