Nur syntaktisch korrekte Statecharts können simuliert und Basis für die Codegenerierung verwendet werden. Deshalb soll die syntaktische Korrektheit der Charts überprüft werden.
