Close Menu

CS 532 - Formal Languages

Course Description: 

This course provides an introduction to the theory of formal languages and machines. Topics to be covered include: strings, alphabets, and languages; grammars, the Chomsky Hierarchy of languages and corresponding machines (regular sets and finite automata, context free languages of various types, Turing machines and recursive functions, undecidable problems), and computational complexity, polynomial-time reductions, NP-completeness.

Credit: 

(3-0-3)

Prerequisite: 

[(CS 430 with min. grade of C)]

Corequisite: 

None