- Notifications
You must be signed in to change notification settings - Fork1
wzjoriv/MIPU
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
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}}