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