COT 6315 / CM 710-R Formal Languages and Computation Theory