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.

When Offered:
Fall