The CuCh Machine

Boehm CuCh هو نظام برمجة تفاعلي صغير ولكنه قوي قادر على العمل على النحو التالي:
(1) آلة حاسبة قابلة للبرمجة منطقية وحسابية
(2) نظام برمجة وظيفي
(3) CuCh الكائنات العادية شكل المخفض

تمثل آلة CuCh:
- إطار رسمي لتوليف منطق الكاري التفاعلي والكنيسة lambda-calculus في مجموعة من البيئات الرياضية المثبتة جيداً
- نهج مثبت وخصب تم تطويره على مدى 50 عامًا من البحث والتنفيذ ، من الأوراق الرئيسية في علوم الكمبيوتر النظرية إلى أول

تم تقديم فكرة اللغة التي تشتمل على دمج الكاري والكنيسة لامبدا في أول بحث لبوهيم جروس "مقدمة في CuCh" في نظرية الأوتوماتا
أد. Caianiello، Ass.Press (1966). خوارزمية تسمح بتقليل أي مصطلح CuCh
يتم توضيح الشكل العادي في ورقة كتبها Corrado BohmDezani "آلة CuCh: المعالجة التلقائية للمتغيرات المرتبطة" IJCIS (يونيو 1972 و 73 يونيو).
بعد آلة Cuch احتفل ضعت مع وولف الإجمالي (1966)، في أواخر 80s
تولى Corrado Bohm مشروع تحقيق آلة Cuch جديدة. ساعده العديد من طلاب كورادو في هذا المشروع ، ولا سيما ستيفانو جوريني وأحد المؤلفين
(لويجي Mazzucchelli).

قدراته، قابلية (على سبيل المثال، إلى التطبيقات)، ودوره المحتمل في سياق
الاستخدام الواسع النطاق لنموذج البرمجة الوظيفية يجعل من CuCh واحدة من آلات التخفيض الرئيسية في علوم الكمبيوتر.