|
|
CSCI (Math) 361
|
| Due Date | To Turn In: | To Do On Own: |
|---|---|---|
| 9/10 | 1.4.5, 1.4.7, 1.5.2, 1.6.1 + program | 1.4.1b, 1.4.2a, 1.4.9, 1.5.1, 1.5.6, 1.6.2ab |
| 9/12 | 1.7.2,1.6.5,1.7.7 | 1.7.1,1.7.3, 1.7.8, 1.7.9 |
| 9/15 | 1.8.2c, 1.8.4ab, 1.9.3b | 1.8.3, 1.8.5, 1.8.6, 1.9.2a-d, 1.9.5 |
| 9/17 | 2.1.2d, 2.1.3ad, 2.1.4a(i and ii) | 2.1.1, 2.1.2a-c, 2.1.3bc |
| 9/19 |
2.2.2ac, 2.2.3b, 2.2.7, create ndfa accepting (a U b)* ab+ (aaa U aba) b* | 2.2.1, 2.2.2bd, 2.2.3ac, 2.2.4, 2.2.5 |
| 9/24 |
2.3.1, Construct dfa for (a U b)* ab+ (aaa U aba) b* | 2.3.2, 2.3.3b, 2.3.4, 2.3.5 |
| 9/24 also | 2.4.3, 2.4.5ag, 2.4.9a | 2.4.1, 2.4.2, 2.4.4, 2.4.5f, 2.5.1ab, 2.5.2b |
| 10/1 | 2.6.2ac, 2.6.3, 2.6.5a, 2.6.7ac | 2.6.1, 2.6.2bde, 2.6.7bf |
| 10/3 | Minimize two dfa's | |
| 10/6 | 2.4.6ab, 2.6.6 | |
| 10/8 | 3.1.3ab, 3.1.5b, 3.1.7, 3.2.3, 3.2.5, 3.2.6 | 3.1.2, 3.1.3c, 3.1.4, 3.1.5a, 3.1.8ad, 3.2.1, 3.2.2 |
| 10/10 | 3.3.2b, 3.3.3 | 3.3.1, 3.3.2, 3.4.1, 3.4.2 |
| 10/15 | none |
3.4.5, Use class construction to get grammar corresponding to example 3.3.3. Compare the result with answer to hmwk 3.1.3b |
| 10/20 |
3.5.1ab, Show pf in book of Thm 3.5.1 for Kleene * is wrong. | 3.5.1cd, 3.5.4 |
| 10/22 | 3.5.2cd, Show {a^i b^j c^i d^j | i,j >= 0} is not cfl | none |
| 10/24 | 3.6.5a | 3.6.1a |
| 10/29 | 4.1.5 | 4.1.1, 4.1.4 |
| 11/5 | 4.4.6, 4.5.8 | 4.4.1, 4.4.3, 4.4.5, 4.5.5a, 4.5.7a |
| 11/7 | none | 5.7.1, 5.7.7 |
| 11/10 | 5.2.3d, 5.2.8 | 5.2.3c, 5.2.4, 5.2.5, 5.2.9 |
| 11/12 | 5.3.2 | 5.3.1c, 5.3.7 |
| 11/19 | Probs from board | 5.6.1, 5.6.3a |
| 11/21 |
1. Define monus in lambda calculus. 2. Show calculation of fact 3, for fact as defined in class as a fixed point. | none |
| 11/24 | 6.1.4 | 6.1.3 |
| 11/26 | 6.3.1, 6.3.2 | 6.3.3a-d |
| 12/1 |
6.2.6, Show undecidable whether, given M, L(M) is finite Show L(M) = {wwR | w in {a,b}*} not recursive. | 6.3.5 |
| 12/3 | 6.2.1 | 6.2.3, 6.2.4, 6.2.7, 6.2.12 |