CIS 570 - Introduction to Formal Language Theory

Formal languages, automata, regular expressions, grammars, introduction to computability theory. Reading and writing informal mathematical proofs pertaining to these topics.

Credits: (3)

Requisites:
Pr.: MATH 510. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.

When Offered:
Fall