Formal Languages and Automata Theory Homeworks