diese Lösung auch möglich?

Question

Wäre dieser Übergang auch möglich?:
 

(s0, b, ko) -> (s1, bko)
​(s0, a, ko) -> (s2, ako)
​(s1, b, b)   -> (s0, lambda)
​(s2, a, a) -> (s3, lambda)
(s3, b, ko) -> (s4, lambda)
​(s4, lambda, ko) -> (s4, ko)

​wenn nur 4 Endzustand ist ?

​Vielen Dank.

Answer 1

Hallo,

da sich in deinem Keller, sobald Zustand s3 erreicht wird, nur noch das initiale k0 befindet und dieses nicht gelöscht werden kann (vgl. neues Lehrbuch S.48/49), muss der entsprechende Zustandsübergang wie folgt lauten: 

(s3, b, ko) -> (s4, k0)

Die letzte Zeile deiner Zustandsüberführungsfunktion ist überflüssig.

 

Um dir für die Klausur keine falschen Angewohnheiten anzugewöhnen, solltest du immer darauf achten, den Kellerautomaten immer vollständig anzugeben (dazu gehört das gesamte 6er-Tupel A = (E, K, S, δ, s0 , F) und nicht nur die Zustandsübergangsfunktion.

 

Ich hoffe ich konnte dir weiterhelfen. 

 

LG Tutor