Learning a regular language by inferring a DFA with the TTT algorithm