Text this: Green's Relations in Deterministic Finite Automata.