حسابات اللامدا

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

حسابات اللامدا, هي لغة شكلية. بمساعدتها يمكن فحص بعض الاستعمالات. هذه اللغة طورت من قبل الونسو شيرش سنة (1930) بمشاركة من ألان تيرنغ وكونراد سوزي حدث تغيير في لغات البرمجة.

اللامبدا[عدل]

اللغة نفسها مكونة من ثلاث عوامل, المصطلح مكون من متغير, استعمال وما يسمى بالتغيير. الاستعمال مبنية على أساس λ <متغير>.<مصطلح>. والتغيير وهي ملخص من استعمالين. حسابات اللامبدا λ تحسب من اليسار إلى اليمين وأيضا يقرؤون حسب هذا الترتيب. أسماء المتغيرات يمكن تبديلهم. دالة بسيطة تكون على هذا المنوال :- λ ""أ"".""أ"", مبنى التغيير يكون كالتالى λ (""أ"".""أ"") ""ص"". ويكون اختزالها كالتالى ان ننقل ال ""ص"" مكان اللامدا ومن بعدها ننقلها إلى ال ""أ"" وهكذا يبقى لنا ال ""ص"".