Element und ElementType richtig verwendet (also auf Janik's Bauchgefühl
gehört, sorry).

Element = Menge der Eingabesymbole
ElementType = Kanten im Automaten (c)