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