Transform concrete grammar into abstract algebra

Name is missing