CMPUT 474 Home Page (Culberson W02)

University of Alberta Department of Computing Science

CMPUT 474/570 -- FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY -- Winter 2004

WATCH THIS SPACE
For Announcements

Always Under Construction
(Don't forget to reload to get latest version)

CROSS LISTING AS A GRADUATE COURSE.

This course is being cross listed as CMPUT 570.
Available to Grad Students for Breadth Requirements,
BUT
Note: enrollment limit has been reached for this term!!

Grad Students wishing grad credit will be required to read additional advanced chapters on their own,
and do an additional assignment on those chapters. See the details below under Assignments, Marking and Detailed Course Outline..

Course Description

Calendar Description
Departmental Course Description Check here for pre-requisites, general description.
Detailed Course Outline Check here for course schedule, important dates.

Instructor, TA, Room

Joseph Culberson
- Office Schedule(TBA)
Section B1: TTH 9:30-10:50 GSB 859
TA TBA
- Office Hours: See web page and make arrangments by email. TBA

Assignments

Assignments are available here

Sources

Required Textbook:
- Introduction to the Theory of Computation , Michael Sipser, PWS Publishing Company, 1996.
- Errata List
On Reserve in Cameron
- Fundamentals of the Theory of Computation Raymond Greenlaw and H. James Hoover
- Introduction to Automata Theory, Languages and Computation John E. Hoprcroft, Rajeev Motwani and Jeffrey D. Ullman

Course Workload and Grading

Distribution, Grading Information
Assignments
10 Common
UG 4% ea. Grad 3% ea.
1 on Extra Chapters
Grad 10%
40%
Midterm Common
20%
Final Common
40%

Final Exam Location TBA and Time 9:00 Thursday April 15
Assignments Assignments are available here
Code of student behavior

Other Support

Specialized Support and Disability Services (SSDS) 2-800 Students' Union Building, 492-3381 (phone) or 492-7269
The UACS tutor registry.
ACADEMIC SUPPORT CENTRE

Updated Oct.23/03 Joseph Culberson joe@cs.ualberta.ca