תחשיב למדא – הבדלי גרסאות

אין שינוי בגודל ,  לפני 3 שנים
שגיאת הקלדה
מ (הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) (דיון))
(שגיאת הקלדה)
תגיות: עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד
בצורה פורמלית, ביטוי למדא מוגדר בצורה ה[[רקורסיה|רקורסיבית]] הבאה:
* כל משתנה (שמסומן בדרך כלל ב[[תו (מחשב)|תו]] או ב[[מחרוזת (מדעי המחשב)|מחרוזת]]) הוא ביטוי למדא.
* אם M,N הם ביטויי למדא, אז גם (MN) הוא ביטוי למדא (אפילקציהאפליקציה).
* אם x הוא משתנה ו-M הוא ביטוי למדא אז (λx.M) הוא ביטוי למדא (אבסטרקציה).
נהוגים גם כמה כללי קיצור, המאפשרים השמטת סוגריים במקרה שהביטוי נשאר חד משמעי. למשל, אפשר להוריד את הסוגריים החיצוניים; אפשר להוריד סוגריים כשיש כמה אפליקציות ברצף (למשל (λx.λy.(M במקום ((λx.(λy.(M ) ואפשר להוריד סוגריים כאשר מפעילים כמה משתנים ברצף זה על זה משמאל לימין, כלומר xyz שקול ל (xy(z. כמו כן אפשר לסמן ביטוי כלשהו בשם, שמאפשר להשתמש אחר כך בשם הזה (כשהכוונה היא קיצור של הצבת השם). למשל, אם מגדירים A=λx.λy.xy, אז אפשר לרשום את הביטוי λz.AA כשהכוונה היא ל
משתמש אלמוני