https://9dok.net/document/z3d3r3re-literatur-bezeichnungen-stack-automat-pushdown-automat-kellerautomaten-nichtdeterministisch.html