| Title | Pumping Lemma Game |
| Catalog Type | SLCItem |
| Persistent ID | https://opendsax.cs.vt.edu/OpenDSA/AV/VisFormalLang/NonReg/PLGame.html |
| Platform Name | OpenDSA |
| Features | Proficiency Exercise |
| Description | Demonstration of an adversary argument for the Pumping Lemma, in the form of an adversary game. |
| Keywords | Pumping Lemma, Regular Language, Adversary Argument |
| Author | Yuhui Lyu, Cliff Shaffer |
| Institution | Virginia Tech |
| Iframe URL | https://opendsax.cs.vt.edu/OpenDSA/AV/VisFormalLang/NonReg/PLGame.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 |