| Number | Description | Solution | Input | Output | Grading Criteria |
|---|---|---|---|---|---|
| 1 | DFA Minimization | Arup's Solution Travis's Solution |
dfamin.in | dfamin.out | G.C. |
| 2 | P2-CNF | chomsky.java chomskymemo.java |
chomsky.in | chomsky.out | G.C. |
| 3 | P3-TM | tm.java | tm.in | tm.out | G.C. |
| 3 | P4-DFACNT | dfacount.java dfacount_travis.c dfacount_alt.java |
dfacount.in | dfacount.out | G.C. |