Nov 29, 2024  
University of Alberta Calendar 2017-2018 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Message from the President
  Inquiries
  Academic Schedule
  Undergraduate Application Deadlines for Admission and Readmission
  Undergraduate Admission
  University Regulations and Information for Students
  The Faculties
  Undergraduate Programs
  Graduate Programs
  Glossary
  Course Listings
  General Information
  University Staff
  Previous Calendars
HELP
University of Alberta Calendar 2017-2018 [ARCHIVED CATALOG]

CMPUT 474 - Formal Languages, Automata, and Computability

★ 3 (fi 6) (either term, 3-0-0) Formal grammars; relationship between grammars and automata; regular expressions; finite state machines; pushdown automata; Turing machines; computability; the halting problem; time and space complexity. Prerequisite: CMPUT 204 or 275, one of CMPUT 229, E E 380 or ECE 212 and one of MATH 225, 227, or 228 or consent of the instructor.