For transducers, where (K, ⊗) = (∆ * , concat), the maximum left factor of F q is the longest common prefix of the strings in range(F q ).
3 we had range(F 3 ) = {wwyz, wwzzz} above with longest common prefix ww.