خلاصة الات الحوسبة

خلاصة آلات الحوسبة

Abstract Computing Machines

من كلوج فيرنر

الناشر :   سبرينغر

It sets out with a brief introduction to Lambda-calculus, describes a variant of the classical secd-machine as a basic interpreter for the Lambda-calculus, and in the main part continues with strongly normalizing abstract Lambda-calculus machines, of which some are interpreting and some execute compiled code.

هذا الكتاب نهجا لامبدا ، حساب التفاضل والتكامل لتنظيم الحسابات

. وهو يحدد مع مقدمة موجزة  حساب التفاضل والتكامل ، ويصف متغير من الآلات الكلاسيكية secd كمترجم الأساسية لحساب التفاضل والتكامل ، لامبدا ، والجزء الرئيسي لا يزال مع تطبيع بقوة آلات مجردة ، لامبدا حساب التفاضل والتكامل ، والتي بعضها تفسير وتنفيذ بعض التعليمات البرمجية المترجمة. ويتم إدخال آلات مجردة الفنية الكلاسيكية كنظراء ضعيف على تطبيع ، وتظهر آلات مجردة للغات الكلاسيكية بد ان تنبع من الاعتراف بها من قبل جانب إحداث العمليات.