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