Formal Languages practice, DIHT MIPT 2013