| 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, Then follow the links: Faculty and Staff, Cezar Campeanu, Teaching, Winter 2008, 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 and Thursday, 10:00-11:15, CASS 301 | |
| Office Hours: | Tuesday and Thursday 11:30-12:45, Friday 1:00-2:00 or anytime by appointment (please send email) | |
| Midterm Exam: |
Thursday March 13th, 10:00am, CASS 301
|
|
| Final Exam: |
Friday, April 11, 2:00pm, Room CASS 104
|
|
| Marks: |
Everything marked. Have a wonderful summer!
|
|
| Grading scheme: |
|
||||||
| Course Resources: | |||||||
| 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. | ||||||