1 paper
Josue N. Rivera, Haiping Xu
Pumping lemma has been a very difficult topic for students to understand in a theoretical computer science course due to a lack of tool support. In this paper, we present an active…