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!
 

 

andere Begründung möglich?

+1 Punkt
45 Aufrufe

Wäre es hier auch ausreichend gewesen, neben der Grundidee des Pumping-Lemmas und den entsprechenden Skizzen statt der Texte über die PL's für EA's und kontextfreie Sprachen einfach die Definitionen der beiden PL's aufzuführen. Also... 

1) |xy|<=n,

2) |y|>=1,

3) ...

Danke

 

Gefragt 25, Sep 2015 in 2014-H-02 von uafjv uafjv Tutor(in) (167,990 Punkte)  

Eine Antwort

0 Punkte

Hallo,

das hängt sehr davon ab, was Sie mit "neben der Grundidee des Pumping-Lemmas" meinen. Wie Sie in der Lösung sehen, haben wir bei dieser Aufgabe nicht auf eine einfache DEFINITION hingezielt. In den meisten Kontexten hätten wir für die drei Eigenschaften wahrscheinlich gar keine oder nur wenige Punkte gegeben.

In dieser Aufgabe ging es darum zu zeigen, dass Sie verstanden haben, was der zugrundeliegende Mechanismus hinter den beiden Pumping-Lemmas ist. Wenn Sie es wirklich verstanden haben, dann sehen Sie ein, dass beide Pumping-Lemmas eigentlich nur verschiedene Ausführungen ein und derselben Idee sind, nämlich

dass bei k unterscheidbaren Ereignissen (bspw. Zuständen eines Automaten - [aber genauso auch bei Ableitungsfolgen mit kontextfreien Grammatiken]) in jeder Folge von n > k Ereignissen mindestens ein Ereignis doppelt vorkommen muss... [weshalb wir eine Schleife bilden und pumpen können usw.]

Das wollten wir hier schon so oder so ähnlich wie in der Musterlösung hören. Auch die bloßen Zeichnungen haben uns nicht ausgereicht.

Diese Frage war eine stark auf Verständnis und praktisch gar nicht auf Auswendiglernen hinzielende.

Viele Grüße

Lukas König

 

Beantwortet 25, Sep 2015 von uafjv uafjv Tutor(in) (167,990 Punkte)  
...