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!
 

 

Lambda eliminieren

0 Punkte
48 Aufrufe
Woher weiß ich ob bei der elimierung des leeren Worts , das lambda zu a oder b wird ? Danke für die Hilfe.
Gefragt 9, Feb 2018 in 2016-N-01 von Anonym  

Eine Antwort

0 Punkte
Hallo,

man eliminiert dabei nicht das leere Wort, sondern den Lamda-Übergang. Wenn du dir die Überführung anschaust, siehst du ja dass C immer nur auf Cb ableitbar ist. Ein a kann es also sicher nicht sein.

Liebe Grüße

Verena (Tutor)
Beantwortet 10, Feb 2018 von updrq updrq Tutor(in) (103,620 Punkte)  
...