ابتدای محتوای صفحه
۱ - ۱۱تمرین‌های فصل
ما توی این فصل استثنائاً جواب تمرین‌ها رو با توضیح‌شون می‌نویسیم.
ترکیب‌کننده‌ها
تعیین کنید جملات زیر ترکیب‌کننده هستند یا نه.
۱.
λx․xxx
۲.
λxy․zx
۳.
λxyz․xy(zx)
۴.
λxyz․xy(zxy)
۵.
λxy․xy(zxy)
حالت معمولی یا واگرایی؟
تعیین کنید که آیا این جملات واگرا هستن یا به حالت معمولی ساده میشن.
۱.
λx․xxx
۲.
(λz․zz)(λy․yy)
۳.
(λx․xxx)z
ساده‌سازی بتا
حالت معمولی ِ هر کدوم از جملات زیر رو حساب کنید (ساده کنید). به شدّت توصیه می‌کنیم که مراحل رو روی کاغذ بنویسین.
۱.
(λabc․cba)zz(λwv․w)
۲.
(λx․λy․xyy)(λa․a)b
۳.
(λy․y)(λx․xx)(λz․zq)
۴.
(λz․z)(λz․zz)(λz․zy)
۵.
(λx․λy․xyy)(λy․y)y
۶.
(λa․aa)(λb․ba)c
۷.
(λxyz․xz(yz))(λx․z)(λx․a)