Mar 14, 2025  
University of Alberta Calendar 2025-2026 
    
Catalog Navigation
  Calendar Home
  Academic Schedule
  Colleges and Faculties
  University Regulations
  Undergraduate Admissions
  Undergraduate Programs
  Graduate Admissions
  Graduate Regulations
  Graduate Programs
  Course Listings
  About the University
  About the Calendar
  Inquiries
HELP
University of Alberta Calendar 2025-2026

CMPUT 474 - Formal Languages, Automata, and Computability

Course Career Undergraduate
Units 3
Approved Hours 3-0-0
Fee index 6
Faculty Science
Department Computing Science
Typically Offered either term

Description
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 and one of MATH 225, 227, or 228.