https://9dok.net/document/q05vr7rl-vl-turing-maschinen-berechenbarkeit-komplexit-ws-gerhard-woeginger.html