Dec 07, 2025  
2024-2025 Graduate Catalog 
    
2024-2025 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CMSC 651 - Automata Theory and Formal Languages

Credits: [3]
Description: This course begins with a quick review of basic automata theory (regular languages and finite automata, context-free languages and pushdown automata) then moves on to an in-depth treatment of Turing machines and computability. Advanced topics might include an introduction to recursion theory and basic computational complexity theory.
Course ID: 053018
Prerequisite: Prerequisite: CMSC 451 or equivalent or consent of instructor.
Components: Lecture
Grading Method: A-F, Pass/Fail, Audit



Add to Portfolio (opens a new window)