https://9dok.net/document/y8g7ww02-vorlesung-grundlagen-der-theoretischen-informatik.html