Vincent Cui / Studium / WS 21-22 / Formale Systeme