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