Title	Pumping Lemma Example: Harder Proof
Catalog Type	SLCItem
Persistent ID	https://opendsa-server.cs.vt.edu/OpenDSA/Metadata/inlineav/PIFLA/NonRegular/PLExampa3bncn3FS.html
Platform Name	OpenDSA
Features	Programmed Instruction, Proof Visualization
Language
Description	Programmed Instruction slideshow showing the harder pumping lemma proof where there are multiple cases to consider.
Keywords	Non-Regular Language
URL
Author	Mostafa Mohammed,Cliff Shaffer
Institution	Virginia Tech
Iframe URL	https://opendsa-server.cs.vt.edu/OpenDSA/Metadata/inlineav/PIFLA/NonRegular/PLExampa3bncn3FS.html
LTI URL
LTI Instructions URL
Protocol	LTI 1.1, SPLICE
Protocol URL	https://opendsa-server.cs.vt.edu/lti/launch?custom_ex_short_name=PLExampa3bncn3FS&custom_ex_settings=%7B%7D https://opendsa-server.cs.vt.edu/OpenDSA/Metadata/inlineav/PIFLA/NonRegular/PLExampa3bncn3FS.html
License	https://github.com/OpenDSA/OpenDSA/blob/master/MIT-license.txt
Features	Programmed Instruction, Proof Visualization
Programming Language	N/A
Natural Language	en