formal languages and translations home tasks (MIPT, 2 Year)