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.)

Bonus11, A1a, andere Lösung möglich?

0 Punkte
28 Aufrufe
1. wieso darf B auf Lamda abbilden? (kontextfrei ist spezieller als kontextsensitiv, und da kontextsensitiv Lamda-frei ist müsste auch kontextfrei Lamda-frei sein?)

2. Wäre auch { S -> Lamda I A I B,
A -> aSc,
B -> bSc}  in Ordnung?
Gefragt 14, Jan 2018 in 2011-B-01 von Anonym  

Eine Antwort

0 Punkte
Hallo,

zu 1)

Die Antwort findet sich im Volesungsfoliensatz 3 auf Folie 16 oder auch in den Tutoriumsfolien Foliensatz Nr. 3 auf Folie 19.

"Bei allen Typen außer Typ 1, sind auch Übergänge A -> \lambda erlaubt."

zu 2)

Ich kann keinen Fehler entdecken.

Viele Grüße

Alex (Tutor)
Beantwortet 14, Jan 2018 von uadqb uadqb Tutor(in) (100,460 Punkte)  
...