ECS 120 – Theory of Computation – Spring 2013

Announcements

• The term is over! I wish you a good summer, one of scholarship and growth. Phillip Rogaway

General Information

• Lectures to date will grow with each lecture
• Prior lecture list (Fall 2012), combined with the course information sheet, doubles as a syllabus.
  Also has links to videos of prior lectures, which you might find useful.
• Readings: Sipser, Chapters 0-5, 6.1, 7
• Course information sheet – you are responsible for everything here
• Chat room on SmartSite
• Instructor: Phillip Rogaway – 3009 Kemper – please see my homepage for current office hours
• TA: Thomas Provan. Current office hours: TR 3-5 in Kemper 55 (basement level). Email to tcprovan at ucdavis.edu
  

Problem Sets

• PS1 and PS1 solns
• PS2 and PS2 solns
• PS3 and PS3 solns
• PS4 and PS4 solns
• PS5 and PS5 solns
• PS6 and PS6 solns
• PS7 and PS7 solns and our winning team-11. Runners-up: team-13 and team-19
• PS8 and PS8 solns
• PS9 and PS9 solns

Exams

• Quiz 1 and Quiz 1 Solutions
• Quiz 2 and Quiz 2 Solutions
• Quiz 3 and Quiz 3 Solutions
• Quiz 4 and Quiz 4 Solutions

Practice Exams

• Fall 2012 Quiz1 and Quiz1 solns
• Fall 2012 Quiz2 and Quiz2 solns
• Fall 2012 MT and MT solns
• Wint 2012 MT and MT solns
• Fall 1996 Final and Final solns
• Spri 2004 Final (no solns available)

Miscellaneous

• Finite State Transducers, by Eric Griboff, based on a presentation by Thomas Hanneforth
• Applications of DFA by Eric Griboff, and associated slides
• Rice’s Theorem
• Self reference slides, by Phil Rogaway.
  Slide #4 based on Reflections on Trusting Trust by Ken Thompson
• TM alternatives: Counter machines, RAMs, Tag systems, Rule 110 CAs
• Myhill-Nerode writeups from Wikipedia, Konrad Slind and Dan Gusfield
• CYK algorithm (Wikipedia) and slides (David Rodriguez-Velazquez)
• CYK slides and the CYK@wikipedia.

Phillip Rogaway’s homepage