https://9dok.net/document/y962vnnr-automaten-und-formale-sprachen.html