|
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, by J. Hopcroft, R. Motwani and J. Ullman, Third Edition, Addison Wesley, ISBN 0-321-45536-3.
|
|
|
|
|
|
|
|
|
|
Textbook web site:
|
|
http://www-db.stanford.edu/~ullman/ialc.html
|
|
|
|
Course web site:
|
|
Go To: http://www.csit.upei.ca, Then follow the links: Faculty and Staff, Cezar Campeanu, Teaching, Fall 2006, CS332
|
|
|
|
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, Thursday 11:30 - 12:45, KCI 202
|
|
|
|
Office Hours:
|
|
Tuesday, Thursday 1:00-2:30, or by appointment.
|
|
|
|
Final Exam:
|
|
Friday, December 8, 2:00pm, Room CASS 104, changed to GYM.
|
|
|
|
:
|
|
Friday, December 8, 2:00pm, Room CASS 104, changed to GYM.
|
|
|
|