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