It is the practical homework 1 for lecture Formale Systeme