CSCE 40433 - Formal Languages

UAFS Legacy Course Number: CS 4043
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: CSCE 20003 - Data Structures and MATH 26103 - Discrete Mathematics I