MCS-265: Theory of Computation
Spring 2014

Instructor: San Skulrattanakulchai
Office: 304 Olin Hall
Phone: x-7654
Email: sskulrat(at)gac(dot)edu
Time and place: 12:30–1:20pm MTThF; OHS 319
Office hours: W 9:00-10:00am, MTThF 1:30–2:30pm, OHS 304

Handouts

• Course Information and schedule
• Homework Guidelines

Homework

• HW1 due February 21
• HW2 due March 6
• HW3 due March 21
• HW4 due April 8
• HW5 due May 2
• HW6 due May 20

Lecture Notes

• #F1 Formal Languages
• #R1 Finite Automata
• #R2 Designing Finite Automata (worksheet)
• #R3 Equivalence of DFAs and NFAs
• #R4 Regular Expressions
• #R5 Pumping Lemma for Regular Languages
• #C4 Pumping Lemma for Context-free Languages
• #C5 Closure Properties of Context-free Languages
• #T1 Designing 1-DTM's
• #RD1 Problem Reduction

Exams

• Test 1
• Test 2
• Final exam Tuesday May 27 8:00–10:00pm, OHS 318

Useful Links

• Textbook Web Site