|
|
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.
|
|
|
|
|
| |
|
Grading scheme:
|
| Assignments
|
Midterm Examination
|
Final Examination
|
| 35%
|
30%
|
35%
|
|
|
|
|
|
Course Resources:
|
- Assignments
- Handouts
- Tentative Schedule
|
|
|
|
|
Important Notices:
|
Please, check course web site periodically for updates. To view ps documents, you can download Aladdin Ghostview or another free viewer. To view PDF documents, you can download Adobe Acrobat Reader from Adobe site. For operating system like Linux, the viewers are included into the distribution (everything is free and very reliable - for pdf files, use gv or acroread, rather than xpdf). On Solaris workstation, you can download the files and view them with acroread (pdf) or ghostview (ps). To view them in your browser, you must enable the plug-in (Edit - Preferences - Navigator - Applications, select Portable Document Format (Postscript Document), Edit, click Application, and choose Acrobat, then click ok, and ok). For any problems concerning the CS332 pages, please contact me.
|
|
|
|
|
Note:
|
Second year students and up that are interested in marking, please check with Michelle McKearney. 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.
