# CSCI (Math) 361 Theory of Computation

## Homework Assignments Fall, 1997

Homework is generally assigned two class periods before it is due. Please note that homework is due at the beginning of class and no late homework will be accepted. The two homeworks to be dropped are to cover situations like illness or other circumstances that prevent you from attending class or doing homework.

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