This is a program designed to explore the pumping lemma property of regular expressions. Three main functionalities are offered: membership testing, a given language's strings generation and automatic minimun pumping length determination
Jar Download (Recommended for Mac)
@inproceedings{rivera2021educational,
title={An Educational Tool for Exploring the Pumping Lemma Property for Regular Languages},
author={Rivera, Josue N and Xu, Haiping},
booktitle={Advances in Software Engineering, Education, and e-Learning: Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20},
pages={143--161},
year={2021},
organization={Springer}
}