https://9dok.net/document/q2n7j02r-grundlagen-theoretischen-informatik-einführung-theoretische-informatik-i.html