Nov 14, 2018  
Undergraduate/Graduate Catalog 2014-2015 
Undergraduate/Graduate Catalog 2014-2015 [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.