Title Closure Properties to Show a Language Non-Regular: Example 2
Catalog Type SLCItem
Persistent ID https://opendsa-server.cs.vt.edu/OpenDSA/Metadata/inlineav/PIFLA/NonRegular/ClosPropEx2FS.html
Platform Name OpenDSA
Features Programmed Instruction, Proof Visualization
Language
Description Programmed Instruction slideshow demonstrating an example of using closure properties to prove a language non-regular. Example 2.
Keywords
,
URL
Author Mostafa Mohammed,Cliff Shaffer
Institution Virginia Tech
Iframe URL https://opendsa-server.cs.vt.edu/OpenDSA/Metadata/inlineav/PIFLA/NonRegular/ClosPropEx2FS.html
LTI URL
LTI Instructions URL
Protocol LTI 1.1, SPLICE
Protocol URL
License https://github.com/OpenDSA/OpenDSA/blob/master/MIT-license.txt
Features Programmed Instruction, Proof Visualization
Programming Language N/A
Natural Language en

Preview