This is an assignement for my Theories of Languages and Compilation