SMS versenden: Completeness Problems in the Sructural Theory of Automata