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