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