https://9dok.net/document/yr36lwo8-theoretische-informatik.html