|
|
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-455369-
ISBN 10: 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,
or
http://www.upei.ca/csit,
Then follow the links: Faculty, Cezar Campeanu, Personal Webpage, Teaching, and CS332 under Fall 2008
|
|
|
|
|
|
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 11:30-12:45, Sport Centre 212
|
|
|
|
|
|
Office Hours:
|
|
Monday 1:30-3:00, Tuesday 1:00-3:00
|
|
|
|
|
|
Final MARKS:
|
|
Everything Marked
Please check your marks. They will be submitted to Registar's Office on Monday December 8, 2008. Merry Christmas and a A Happy New Year!
|
|
|
|
|
| |
|
Grading scheme:
|
| Assignments
|
Midterm Examination
|
Final Examination
|
| 35%
|
30%
|
35%
|
|
|
|
|
|
Course Resources:
|
- Assignments
- Handouts
- Moodle Login
- Assignment Policy
- 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. 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 Julie Mussel 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.
