私はここが初めてで、ラムダ計算が初めてです。私の質問は次のとおりです。ラムダ計算の縮約（通常の形式への）では、式を評価する方法はありますか（縮約が正しく行われたことを確認するため）。
例 (/はラムダの略) (ベータメソッドを使用)
/x.y(/z.xz))(/y.zy)
=> /x.y(/z.xz))z
=> (/x.yx)z
=> yz
私の削減が正しいことを確認する方法は？元のものを評価して縮小したものと比較する方法はありますか?
私はここが初めてで、ラムダ計算が初めてです。私の質問は次のとおりです。ラムダ計算の縮約（通常の形式への）では、式を評価する方法はありますか（縮約が正しく行われたことを確認するため）。
例 (/はラムダの略) (ベータメソッドを使用)
/x.y(/z.xz))(/y.zy)
=> /x.y(/z.xz))z
=> (/x.yx)z
=> yz
私の削減が正しいことを確認する方法は？元のものを評価して縮小したものと比較する方法はありますか?