| Title | Pumping Lemma Slideshow |
| Catalog Type | SLCItem |
| Persistent ID | https://opendsax.cs.vt.edu/OpenDSA/Metadata/inlineav/VisFormalLang/NonReg/PumpingLemmaCON.html |
| Platform Name | OpenDSA |
| Features | Proof Visualization |
| Description | Simple demonstration of a Pumping Lemma proof to show that a language is not regular. |
| Keywords | Pumping Lemma, Non-Regular Language |
| Author | Mostafa Mohammed, Cliff Shaffer |
| Institution | Virginia Tech |
| Iframe URL | https://opendsax.cs.vt.edu/OpenDSA/Metadata/inlineav/VisFormalLang/NonReg/PumpingLemmaCON.html |
| Protocol | LTI 1.1, SPLICE |
| Protocol URL | |
| License | https://github.com/OpenDSA/OpenDSA/blob/master/MIT-license.txt |
| Programming Language | N/A |
| Natural Language | en |