CS 4043 - Formal Languages

Common Course Number: CSCE 40433
Credit Hours: 3
Contact Hours: 3 Lecture
Offered: Spring

Introduces fundamental concepts in automata theory and formal languages. Topics include finite automata, pushdown automata, regular expressions, grammars, formal languages, context-free languages, Turing machines, and Church’s thesis. The course also presents applications of these models to algorithms, complexity theory, and compiler design.

Prerequisite: CS 2003 - Data Structures and MATH 2443 - Discrete Mathematics I