Just to give a few examples:

In the homework for Lecture 12, you were asked to prove a result
about the "chop" of a language, although I didn't give that name
to it then. For language $L \subseteq \Sigma^*$, define the
"chop" of $L$ as:
\[
\text{chop}(L) = \{
w \in \Sigma^*\ |\ xw \in L \text{ for some $x\in\Sigma$}
\}
\]
Your job was to prove that
"if $L$ is accepted by an NDFA, then $\text{chop}(L)$ is accepted
by an NDFA".
Note that I let you cheat — I let you assume that the
"NDFA accepting $L$" doesn't have $\lambda$-transitions out of the
start state.
Given that, the natural way to do this is to produce an
algorithm with the specification:
If $L_1 = \{foo,bar,a,fright\}$, then $\text{chop}(L_1) = \{oo,ar,\lambda,right\}$

If $L_2 = \{ant,pant,fit,hit\}$, then $\text{chop}(L_2) = \{nt,ant,it\}$

This mini-project will build on that homework problem.Input:NDFA $M = (Q,\Sigma,\Delta,s,W)$, with no $\lambda$-transitions out of $s$

Output:NDFA $M'$ such that $L(M') = \text{chop}(L(M))$

If $L$ is accepted by an NDFA, then $\text{chop}(L)$ is accepted by an NDFA.Note that by a "complete proof" I mean that you may no longer assume that $\lambda$-transitions out of the start state won't happen.

Rules

- Each video should be self-contained, i.e. not referring to either of the other videos.
- Each group member has to have a substantial role in all three videos - e.g. narrator, cameraman, scriptwriter, editor, board-drawer, etc.
- Each video must begin by introducing the three group members, and credit roles in the video either at the beginning or end (i.e. what each person did).
- This doesn't need to be super high-tech or fancy (I'm expecting cell-phone videos) but the audio needs to be clear and the camera-work steady and clear enough to easily make out anything on a board or paper you expect your audience to read.
- Your target audience should be a hypothetical person from SI340 who didn't do this project, but had at least scanned through FlawedSolution1 for five minutes before watching your video.

Honor

- For this assignment, work is intended to be done within the group only.
- For this assignment, you are allowed to discuss problems and solution strategies with folks from other groups. However, notes or any other record of what was discussed other than what's inside your brains must be destroyed when the discussion is finished, and you must wait at least 30 minutes before resuming work on your group's solutions. Obviously, such discussions must be documented.
- You have free license to discuss video-production issues and techniques.

Grading (rubric.html)

- the correctness of your results
- the clarity of your presentation
- creativity in your use of the video as a medium for explaining proof
- whether you meet a certain minimal threshold of AV quality
- extra credit for anything that looks exceptionally cool