Dec 02, 2024  
University of Alberta Calendar 2021-2022 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Inquiries
  Academic Schedule
  Admissions
  University Regulations
  Graduate Regulations
  Colleges and Faculties
  Undergraduate Programs
  Graduate Programs
  Course Listings
  Glossary
  About the University
  University Staff
  Previous Calendars
  Addenda and Errata
  Centre collégial de l’Alberta
HELP
University of Alberta Calendar 2021-2022 [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. Prerequisites: 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.