Second Assignment
Due Monday October 16
- Problem 1 on page 302 of Kozen
- Problem 2 on page 302 of Kozen Hint: Choose the formalism
(dfa, nfa, regular expressions) that makes the proof very easy.
- Problem 3 on page 302 of Kozen
- Problem 12 on page 319 of Kozen (No proofs needed.)
- Problem 1 on page 303 of Kozen
Extra Credit
Problem 28 on page 322-323 of Kozen.