Crowdly

Додати до Chrome

If we use \beta reduction to evaluate the term (\lambda x. \lambda y . y x)...

✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.

If we use $\beta$ \beta reduction to evaluate the term $(\lambda x. \lambda y . y x) (\lambda w . y) z$ (\lambda x. \lambda y . y x) (\lambda w . y) z, which of the following can we end up with? Select every answer that might result, and none that cannot.

$z (\lambda w . y)$ z (\lambda w . y)

✅

$z (\lambda z. y)$ z (\lambda z. y)

✅

$\lambda y . y ((\lambda w . y) z)$ \lambda y . y ((\lambda w . y) z)

❌

$z (\lambda w . z)$ z (\lambda w . z)

❌

Більше питань подібних до цього

Хочете миттєвий доступ до всіх перевірених відповідей на learning.monash.edu?

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!

Додати до Chrome

Telegram Instagram TikTok Question Bank

Умови використання Зв'яжіться з нами