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

Äquivalenz von: B->cB & B->Bc ?

–1 Punkt
30 Aufrufe

Hallo,

Ist "B nach cB / ramda"  immer geleich wie  "B nach Bc/ ramda" ?

Danke!

Grüße

 

Gefragt 26, Nov 2014 in KON-AL von uafjv uafjv Tutor(in) (167,990 Punkte)  

Eine Antwort

0 Punkte
 
Beste Antwort

Nein, das ist nicht immer das gleiche. In diesem Fall macht es zwar keinen Unterschied, ob du auf Bc oder cB ableitest, weil die cs sowieso nur hinten dran gehängt werden und es abgesehen vom Lambda keine Alternativen gibt, auf die das B abgebildet werden könnte. Es gibt aber Beispiele, bei denen das einen Unterschied macht.

Viele Grüße

Lukas (Tutor)

 

Beantwortet 26, Nov 2014 von uafjv uafjv Tutor(in) (167,990 Punkte)  
...