S1 0 S2 S2 a S3 S2 a S4 S3 b S4 S3 0 S2 S4 a S5 S4 0 S3 S4 0 S5
(Zustand Terminal(lambda=0) Folgezustand)
verbose