Crowdly

Додати до Chrome

Which of the following terms is \alpha equivalent to (\lambda x . x)\lambda...

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

Which of the following terms is $\alpha$ \alpha equivalent to $(\lambda x . x)\lambda y . x z$ (\lambda x . x)\lambda y . x z? Make sure you select every term that is $\alpha$ \alpha equivalent to this term, and none that are not.

$\lambda y . x z$ \lambda y . x z

❌

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

✅

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

❌

$\lambda x . x \lambda y . x z$ \lambda x . x \lambda y . x z

❌

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

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

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

Додати до Chrome

Telegram Instagram TikTok Question Bank

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