Cover Automata for Finite Language