MCS-265: Theory of Computation
Spring 2013

Instructor: San Skulrattanakulchai
Office: 304 Olin Hall
Phone: x-7654
Email: sskulrat(at)gac(dot)edu
Time and place: 11:30–12:20pm MWF; OHS 321
Office hours: MTWThF 10:30am–11:20am, OHS 304

Handouts

• Course Information and schedule
• Homework Guidelines

Homework

• HW1 due February 25
• HW2 due March 8
• HW3 due April 12
• HW4 due April 17
• HW5 due May 3
• HW6 due May 22

Lecture Notes

• #R1 Formal Languages
• #R2 Finite Automata
• #R3 Regular Expressions
• #R4 Equivalence of DFAs and NFAs
• #R5 Pumping Lemma for Regular Languages
• #C4 Pumping Lemma for Context-free Languages
• #C5 Closure Properties of Context-free Languages
• #RD1 Problem Reduction

Exams

• Test 1
• Test 2
• Final exam Saturday May 25 1:00–3:00pm, OHS 321

Useful Links

• LaTeX template for homework
• Textbook Web Site