https://9dok.net/document/qmjrw0o8-automatentheorie-und-formale-sprachen.html