CIS 570 - Introduction to Formal Language Theory

Credits: (3)

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

Requisites
Pr.: MATH 510 and CIS 505.

When Offered
I