Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Schöne Ferien!
 

 

Alternativlösung richtig?

–1 Punkt
38 Aufrufe

Wäre folgende Lösung (mit Kellernutzung) richtig?

 

(s0, λ, k0) --> (se, k0)

(s0, b, k0) --> (s0, bk0)

(s0, b, b) --> (s0, λ)

(s0, a, k0) --> (s0, ak0)

(s0, a, a) --> (s1, λ)

(s1, b, k0) --> (se, k0)

 
Gefragt 22, Okt 2014 in KEL-AF von utdbu utdbu Tutor(in) (106,580 Punkte)  

Eine Antwort

0 Punkte
Die Idee ist hier richtig, jedoch stimmen bei Ihnen einige Zustandsübergänge nicht. Ich gehe davon aus, dass bei Ihnen se Endzustand ist? Durch den lambda-Übergang machen Sie Ihren Automaten im übrigen nicht-deterministisch. Sie lesen zwei b's und bleiben dann in s0 und der Keller ist leer. Dann könnten Sie auch von hier direkt in se wechseln, was Sie aber nicht dürfen, da das Wort auf aab enden soll. Demnach müssen Sie hier irgendwo den Zustand wechslen, um nicht über den lambda-Übergang in den Endzustand zu gelangen (so wie Sie das auch mit den a's machen). Der Rest sieht aber gut aus.

Viele Grüße
Friederike Pfeiffer
Beantwortet 22, Okt 2014 von utdbu utdbu Tutor(in) (106,580 Punkte)  
Hallo,


Ist es richtig, dass hier mindestens ein Zustand hinzugefügt werden muss, um zu gewährleisten, dass das akzeptierte Wort auf aab endet?

Spontan hätte ich folgende Lösung angegeben. Sieht zwar etwas komplizierter aus, aber müsste doch stimmen oder?

(s0, λ, k0) --> (se, k0)

(s0, a, ko) --> (s2, ak0)

(s0, b, k0) --> (s1, bk0)

(s1, b, b)  --> (s1, λ)

(s1, b, k0) --> (s1, bk0)

(s1, a, k0)  --> (s2, ak0)

(s2, a, a)   --> (s3, λ)

(s3, b, k0)  --> (se, k0)

Die Zustände sind hier so gewählt, dass für je ein "Abschnitt" im Wort, ein neuer Zustand eingeführt wird. Unter Abschnitt verstehe ich eine charakteristische Unterteilung des Worts, also in diesem Bsp. in die Teile (bb)* | aa | b

Fährt man mit dieser Vorgehensweise immer gut, auch wenn sie z.T. Zustände erfordert, die eigentlich nicht nötig sind?

Danke und Gruß
Hallo,

durch den Nichtdeterminismus machst du dir das Leben ein wenig schwer, so kann es bei deinem KA passieren, dass das leere Wort akzeptiert wird. Die Wörter sollen allerdings alle auf aab enden. Wenn du aber den ersten Übergang weglässt, dann müsste der Rest stimmen.

Viele Grüße,

Vivian (Tutor)
...