CSc 428 - Formal Language and Automata