Homeworks for formal languages