Designing finite automata II