Formal lang homework