Frage zum typisierten Lambda-Kalkül

23.06.2010, 19:11	Tokiomonsta	Auf diesen Beitrag antworten »
Frage zum typisierten Lambda-Kalkül Prüfen sie bei folgendem Ausdruck, ob er zu ME $\begin{eqnarray} \alpha \end{eqnarray}$ für irgendeinen Typ $\begin{eqnarray} \alpha \end{eqnarray}$ gehört. Falls ja, geben Sie bitte $\begin{eqnarray} \alpha \end{eqnarray}$ an und reduzieren Sie die Ausdrücke vollständig. Führen Sie also alle möglichen Lambda-Konversionen durch. Schreiben Sie alle Zwischenschritte auf. ( $\begin{eqnarray} \lambda \end{eqnarray}$ 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?
25.06.2010, 15:50	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) $\begin{eqnarray} \lambda \end{eqnarray}$ 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) ( $\begin{eqnarray} \lambda \end{eqnarray}$ x<e>.( $\begin{eqnarray} \lambda \end{eqnarray}$ y<e>.(BRILLIG<e,t>(y<e>)))(x<e>)) (it<e>) = Da müsste BRILLIG(it)<t> rauskommen... Right?
25.06.2010, 22:52	gonnabphd	Auf diesen Beitrag antworten »
Hab dir mal 'ne PN geschickt.
27.06.2010, 08:55	Tokiomonsta	Auf diesen Beitrag antworten »
Vielen lieben Dank! Aber hat leider auch nichts gebracht. Offenbar kennt sich niemanden in meinem Gebiet aus! Schnüff
27.06.2010, 18:35	gonnabphd	Auf diesen Beitrag antworten »
Scheint mir ja was gaanz Spezielles zu sein! Naja, nicht aufgeben... Vielleicht meldet sich dann doch noch irgendwann ein Spezialist. Ansonsten kann man auch noch Herrn Google nach anderen Foren fragen...

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »