Computer Science/Math 332
September 2010

Title:   Theory of Computing
Instructor:   Cezar Câmpeanu
Email:   ccampeanu < at > upei < dot > ca
Office:   CASS 405
Tel:   (902)566-0485
Textbook:   Introduction to Automata Theory, Languages, and Computation 3rd Edition,
by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman
Addison Wesley, 2007,
ISBN 13: 978-0321-46225-1
ISBN 10: 0-321-46225-4
Textbook web site:,1144,0321462254,00.html
Textbook Stanford web site:
Course web site:  

Go To:,
Then follow the links: Faculty, Cezar Campeanu, Personal Webpage, Teaching, and CS332 under Winter 2010

Recommended reading:   Handbook of Formal Languages Vols. 1 - 3 Rozenberg, Grzegorz; Salomaa, Arto (Eds.) 1997, LXVIII, 2051 p. 272 illus., Hardcover ISBN: 3-540-61486-9
General description:   This course introduces automata theory, formal languages and computability. Topics include: finite automata, regular expressions, context-free and context-sensitive languages, Turing machines, recursive functions, recursive and recursively-enumerable sets, and unsolvable and intractable problems.
Time and Location:   Tuesday and Thursday 10:00-11:15, Dalton 413
Office Hours:   Tuesday and Thursday 11:30-12:45, Wednesday 1:00-2:00 or anytime by appointment (please send email-)
Midterm:   Thursday, October 28, 2010
Final Exam:  
Tuesday, December 7, 2010 at 9:00 am, in Kelley Memorial Building 211
Final MARKS:  
Everything Marked

Please check your marks. They will be submitted to Registar's Office later, today
Grading scheme:
Assignments Midterm Examination Final Examination
35% 30% 35%
Course Resources:
  1. Assignments
  2. Handouts
  3. Assignment Policy
  4. Tentative Schedule
  5. Moodle Login
  6. Grail
Note: Second year students and up that are interested in marking, please check with Rita Stanley or Chris Vessey. They must fill out an application.
To make sure you are viewing the most recent version of this page,press the shift key while clicking on the Reload button.
It is your responsibility to check this page for updates.

Last modified:Tuesday September 05, 2017 at 09:17 am
Cezar Câmpeanu