As a group of four we had to discover, through problem solving, some theorems about regularity in automata and languages. We then submited a presentation together and an individual report that was supposed to teach a subset of our discoveries to our peers.