University of Wisconsin - Parkside

Department of Computer Science

CSCI 331 Computational Models

Fall 2009


Instructor J. U. Quevedo
Textbook

Introduction to the Theory of Computation,

Michael Sipser, Second Edition 

Syllabus Fall 2009

Check your grades in D2L

Assignments
Assignment #1
Due on 9-24-09
  1. (10 points) Is the function in Example 0.8 onto? Explain
  2. (10 points) Is the function in Example 0.9 onto? Explain
  3. (10 points) Is the Cartesian product of two languages a language? Explain
  4. (15 points) Prove or disprove the statement that, for any strings z and w on the same alphabet, z is a substring of w if, and only if, zz is a substring of ww.
  5. (15 points) Solve exercise 0.10 from page 27
  6. (17 points) Describe a deterministic finite automaton with the alphabet that accepts a string if, and only if, its component letters are in alphabetical order.
  7. (23 points) Solve exercise 1.4(g)

Assignment #2
Due on 10-06-09
  1. (16 points)Solve exercise 1.6(1) page 84
  2. (16 points)Solve exercise 1.7(c) page 84
  3. (16 points)Solve exercise 1.8(b) page 84
  4. (20 points)Solve exercise 1.15page 85
  5. (16 points)Solve exercise 1.16(b) page 86
  6. (16 points)Solve exercise 1.5(f) page 84

Assignment #3
Due on 10-20-09

 Solve exercises 1.18, 1.19, and 1.21 all parts, answer document, solutions



Assignment #4
Due on 10-27-09

 Use the JFLAP software to create NFAs and their equivalent DFAs for 5 of the languages listed in exercise 1.20 of page 86. Submit a report that includes print-outs  of your designs and transformations, samples of strings in the language and tested used the JFLAP software, and learning experience.



Assignment #5
Due on 11-3-09
solutions

 Solve exercises 2.4-b (page 128), 2.14 (page 129), 2.19 (page 130), and  2.27-a (page 130)

answer document



Assignment #6
Due on 11-10-09

 



Assignment #7
Due on 12-1-09

 Solve exercises  3.1 a,c, and d, 3.4 from page 159, and 3.8 b and c from page 160

 



Assignment #8
Due on 12-10-09
  1. Solve exercises  3.15 b, c, d, and e, 
  2. Consider the problem of determining whether a NFA and a regular expression are equivalent. Express this problem as a language and show that it is decidable. Use indirect method.
  3. Let A1={<A> | A is a DFA and L(A)=1110*1 with alphabet={0,1}}. Show that A1  is decidable. Use indirect method.







Resources

Date Lecture documents
9-3-09 Course guidelines
9-8-09 Definitions, theorems, and proofs
9-10-09 Functions and Relations / Strings and Languages
9-15-09 Finite Automata
9-17-09 Operations on Regular Languages
9-22-09 Intersection in DFAs and Nondeterminism
9-24-09 Equivalence of NFAs and DFAs
9-29-09 Closure of Regular Languages
10-1-09 Regular Expression
10-6-09 Equivalence of Regular Expressions with FAs
10-8-09 Exam 1 -some solutions
10-13-09 Additional GNFAs practice
10-15-09 Pumping Lemma
10-20-09 Non-regular Languages
10-22-09 Context Free Languages
10-27-09 Chomsky Normal Form
10-29-09 Pushdown Automata
11-3-09 Equivalence of PDAs and CFGs
11-5-09 Pumping Lemma for CFL
11-10-09 Turing Machines
11-12-09 Exam 2
11-17-09 Computation of a TM
11-19-09 Variants of TM
11-24-09 Decidable languages
11-26-09 Thanksgiving - no classes
12-01-09 Decidable languages
12-03-09 Halting Problem
12-08-09 More on Halting Problem
12-10-09 More on Halting problem
12-15-09 Study Guide for Final Exam
12-17-09 Final Exam

OLD Class Notes

JFLAP