Guten Abend,
normalerweise ist der Übergang (s,lambda,k) , k gehört zu K, bei deterministischen Kellerautomaten undefiniert.
Wie ist dann der KA A von der Aufgabe 42 (KEL-AE) deterministisch obwohl er den Übergang (s2,lambda,k0) --> (Se,k0) enthält ?
Danke im voraus