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