Project for module "Automata and formal languages"