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