Skip to content
/ MIPU Public

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

Notifications You must be signed in to change notification settings

wzjoriv/MIPU

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

32 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Jar Download (Recommended for Mac)

About

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published