Vielen Dank für die Antwort.
Anschlussfrage: Gibt es auch EA, die lambda-Übergänge besitzen (ich kann hier leider kein Bild hochladen aber kann ein EA z.B. von s0 in s1 (verbunden durch einen Pfeil) ohne eine Eingabe einzulesen, oder ist das unzulässig?)?