https://5dok.net/document/qvl9303d-hertentamen-automaten-complexiteit-vrije-universiteit-juni.html