implement check automata's completness