Frage zum typisierten Lambda-Kalkül

Neue Frage »

Tokiomonsta Auf diesen Beitrag antworten »
Frage zum typisierten Lambda-Kalkül
Prüfen sie bei folgendem Ausdruck, ob er zu ME für irgendeinen Typ gehört. Falls ja, geben Sie bitte an und reduzieren Sie die Ausdrücke vollständig. Führen Sie also alle möglichen Lambda-Konversionen durch. Schreiben Sie alle Zwischenschritte auf.

( x(Typ e).(f<Typ e, Typ e> (x <Type e>)))(a Typ e)

Ich hab leider überhaupt keine Ahnung, wie man sowas angeht.

Ich schätze mal, dass man f<Typ e, Typ e> und x <Type e> zu fx <Typ e> zusammenfassen kann.

Doch was kommt dann?
Tokiomonsta Auf diesen Beitrag antworten »

Ich glaub, ich hab jetzt die Lösung rausgefuchst:

Und zwar f(a).

Ist das richtig?

Und dann gibt's noch folgende zwei Aufgaben:

1) Q <e,t>.(Q <e,t>) (slithytove<e>)
= Das dürfte nicht gehen, da man keine Variable vom Typ <e> in eine Funktion vom Typ <e,t> einsetzen kann.

2) ( x<e>.(y<e>.(BRILLIG<e,t>(y<e>)))(x<e>)) (it<e>)
= Da müsste BRILLIG(it)<t> rauskommen...

Right?
gonnabphd Auf diesen Beitrag antworten »

Hab dir mal 'ne PN geschickt.

Wink
Tokiomonsta Auf diesen Beitrag antworten »

Vielen lieben Dank!

Aber hat leider auch nichts gebracht.

Offenbar kennt sich niemanden in meinem Gebiet aus! *Schnüff*
gonnabphd Auf diesen Beitrag antworten »

geschockt Scheint mir ja was gaanz Spezielles zu sein!

Naja, nicht aufgeben... Vielleicht meldet sich dann doch noch irgendwann ein Spezialist. Augenzwinkern

Ansonsten kann man auch noch Herrn Google nach anderen Foren fragen...
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »