Loyola University Chicago

Mathematics and Statistics

MATH 376: Formal Languages & Automata (COMP 376)

Credit Hours

3

Prerequisites

COMP 163 or MATH 201 or 212

Description

This course introduces formal language theory, including such topics as finite automata and regular expressions, pushdown automata and context-free grammars, Turing machines, undecidability, and the halting problem.