TDD on pr. 164: Language of a DFA.