Lambda-Kalkül < Softwaretechnik+Pro < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Aufgabe für a & b : Sind a und b syntaktisch korrekt ?
a) [mm] \lambda [/mm] (c.d) a
b) [mm] \lambda [/mm] b.y(zw)b
Reduziere folgenden Lambda-Ausdruck
c) [mm] (\lambda [/mm] x.xx) [mm] (\lambda [/mm] abc.cbabc) [mm] (\lambda [/mm] x.fxx) (fx) y |
Hallo,
a ist kein syntaktisch korrekter Lambda-Ausdruck. Bin mir aber nicht sicher.
b ist ein syntaktisch korrekter Lambda Ausdruck.
zu c)
Wie gehe ich da vor , ich muss doch bei [mm] (\lambda [/mm] x. fxx) (fx) y anfangen , oder ?
Vielen Dank im Voraus.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:20 Do 12.12.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
