نام فایل : محاسبات لامبدا

فرمت : .ppt

تعداد صفحه/اسلاید : 12

حجم : 1 مگابایت

سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد

هدف اصلی:
تئوری اصلی جانشینی
برای توابع قابل محاسبه موفق تر بود
جانشینی  محاسبه سمبلیک
تز Church
طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
نشانه گذاری های نحوی پایه
متغیر های آزاد(free) و مقید(free)
توابع
اعلانها
قانون محاسبات
ارزیابی سمبولیک مناسب برای توصیف برنامه
در بهینه سازی و توسعه ی ماکرو کاربرد دارد
ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
عبارتها:
x + y x + 2*y + z
توابع:
x. (x+y) z. (x + 2*y + z)
کاربرد:
(x. (x+y)) 3 = 3 + y
(z. (x + 2*y + z)) 5 = x + 2*y + 5
با داشتن تابع f، تابع fof را برمی گرداند:
f. x. f (f x)
طریقه ی عمل کردن:
(f. x. f (f x)) (y. y+1)
....