Mar 28, 2024  
Undergraduate/Graduate Catalog 2017-2018 
    
Undergraduate/Graduate Catalog 2017-2018 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.

COMP 540 - Automata, Computability and Formal Languages

(3 credits)
Prerequisite: Admission to the MS program in Computer Science or consent of instructor
Topics in this course will include finite automata and regular languages, context- free languages, Turing machines and their variants, partial recursive functions and grammars, Church’s thesis, undecidable problems, complexity of algorithms and completeness.