wie kann ich denn allgemein erkennen ob ein kellerautomat deterministisch ist und wann nicht deterministisch?
danke
Wenn für eine Situation mehrere Übergänge definiert sind, ist der KA nicht deterministisch. Bsp:
(s0,a,ko) -> {(s1,ak0),(s2,ko)}
Wenn es für alle Übergänge nur eine Möglichkeit gibt, ist der KA deterministisch.
Sven (Tutor)