Fehler in der MUsterlösung?

Question

Hallo,

Die Aufgabenstellung verlangt einen deterministischen KA, allerdings wird durch die beiden folgenden Übergänge der KA ndet:

δ(s0, 0, k0) = (s0, 0k0)

δ(s0, 1, k0) = (s2, k0)

 

VG

Answer 1

Hallo uneib, 

Der KA ist deterministisch, da 0 und 1 verschiedene Eingabezeichen sind. 
Der Automat wäre nur ndet wenn für die  selben Ausgangskonfigurationen verschieden Übergänge existieren würden:

ndet:
δ(s0, 0, k0) = >(s0, 0k0)
δ(s0, 0, k0) = >(s2, k0)

Viele Grüße

Philipp (Tutor)