Nov 24, 2024  
University of Alberta Calendar 2022-2023 
    
University of Alberta Calendar 2022-2023 [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.