Second Assignment

Due Monday October 16

  1. Problem 1 on page 302 of Kozen
  2. Problem 2 on page 302 of Kozen Hint: Choose the formalism (dfa, nfa, regular expressions) that makes the proof very easy.
  3. Problem 3 on page 302 of Kozen
  4. Problem 12 on page 319 of Kozen (No proofs needed.)
  5. Problem 1 on page 303 of Kozen

Extra Credit

Problem 28 on page 322-323 of Kozen.