Apr 19, 2024  
University of Alberta Calendar 2019-2020 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Inquiries
  Academic Schedule, Dates, and Deadlines
  Undergraduate Application Procedures and Deadlines
  Undergraduate Admission
  University Regulations
  Graduate Policy and Regulations
  The Faculties
  Undergraduate Programs
  Graduate Programs
  Glossary
  Course Listings
  General Information About the University
  University Staff
  Errata
  PDF Version / Previous Calendars
  Centre collégial de l’Alberta
HELP
University of Alberta Calendar 2019-2020 [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, one of CMPUT 229, E E 380 or ECE 212 and one of MATH 225, 227, or 228 or consent of the instructor.