https://9dok.net/document/q2n78nor-satzvoncook-komplexit-atstheorie-laufzeitkomplexit-formalesprachenundkomplexit-komplexit-atstheorie-teilbereiche.html