May 02, 2024  
University of Alberta Calendar 2023-2024 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  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 2023-2024 [ARCHIVED CATALOG]

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, one of CMPUT 229, E E 380 or ECE 212 and one of MATH 225, 227, or 228 or consent of the instructor.