1

Web でMike Gordon のIntroduction to Functional Programming Notesを見つけました。9 ページに次の質問があります。

Find an example to show that if V1 = V2 , then even if V2 is not free in E1,
it is not necessarily the case that:

(λ V1 V2 . E ) E1 E2 = E [E1/V1][E2/V2]

V1 と V2 は等しいので、次のようにやり直すことができると言えると思います。

(λ V2 V1 . E ) E1 E2

したがって、言う

(λ V1 . E[E1/V2] ) E2

V2 は E1 でフリーではないという規定が与えられます。しかし、それでは言えません

E[E1/V2][E2/V1]

E2 では必然的に V1 が空いているためです。または、何か不足していますか？

4

1 に答える 1

1

これは反例ではありません。それとは別に、最後のステップでのあなたの推論がわかりません。なぜ E2 で V1 が自由に発生しなければならないのですか? それとは別に、これE[E1/V2][E2/V1]は最後のステップでのステートメントではありません。「そんなことは言えない」とはどういう意味E[E1/V2][E2/V1]ですか?

この仮説の明示的な反例を構築するように努める必要があります。つまり、 V1=V2=x(α 変換のため、実際には問題ではありません) を選択し、明示的な式 を見つけて、仮説Eの仮定 (では自由ではない) を満たすようにしますが、式は の還元と等しくありません。E1E2V2E1`E[E1/V2][E2/V2](λV1 V2. E ) E1 E2

自分でやりたいとおっしゃっていたので、解決策は差し上げませんが、お気軽にアドバイスをお願いします。

于 2013-03-24T23:00:08.503 に答える