https://github.com/wzjoriv/mipu

Active learning tool designed to explore the pumping lemma property for regular language
https://github.com/wzjoriv/mipu

educational-technology formal-languages pumping-lemma regular-expressions regular-languages

Last synced: 11 months ago
JSON representation

Active learning tool designed to explore the pumping lemma property for regular language

• Host: GitHub
• URL: https://github.com/wzjoriv/mipu
• Owner: wzjoriv
• Created: 2019-12-27T12:04:29.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-10-05T14:01:41.000Z (over 5 years ago)
• Last Synced: 2023-07-14T15:14:03.673Z (almost 3 years ago)
• Topics: educational-technology, formal-languages, pumping-lemma, regular-expressions, regular-languages
• Language: Java
• Homepage:
• Size: 3.11 MB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# MIPU

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

[Download](https://github.com/JosueCom/MIPU/raw/master/MIPU.exe)

[Jar Download](https://github.com/JosueCom/MIPU/raw/master/MIPU_App.jar) (Recommended for Mac)

```bibtex

@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}

}

```