Automata theory and model testing at Zhengzhou University | Studyatchina