۱ - ۹واگرایی
بعضی جملههای لاندا رو نمیشه به سادگی به حالت معمولی بتا ِشون رسوند. اینطور نیست که سادهتر نمیشن، دلیلش واگرایی یا divergence ِ اون جملاته. معنی واگرایی در اینجا اینه که فرایند سادهسازی هیچ وقت تموم نمیشه. به طور معمول، ساده کردنِ جملات باید به حالت معمولی بتا شون همگرا باشه؛ و واگرایی مخالفِ همگرایی، یا حالت معمولی ِه. مثال زیر، یک نمونه جملهی لاندا اییه که واگراست (به اسم اُمگا):
۱.
(λx․xx)(λx․xx)
x ی که در سر لاندای اول قید شده، با کل لاندای دوم جایگزین میشه.
۲.
([x ≔ (λx․xx)]xx)
اینجا هم از ≔ برای جاگذاری استفاده کردیم.
۳.
(λx․xx)(λx․xx)
وقتی به جای همهی x ها جملهی (λx․xx) رو جاگذاری میکنیم، برمیگردیم به تابعِ اول، پس سادهسازیِ این بیانیه هیچ وقت تموم نمیشه، یا به عبارت دیگه، اُمگا واگراست.
در برنامهنویسی، جملاتی که واگرا هستند، به جواب یا نتیجهای نمیرسن. شناختنِ واگرایی کمک میکنه تشخیص بدیم کدوم برنامهها کار مفید انجام میدن و به جواب مورد نظر ما میرسن. بعداً در کتاب بیشتر به این موضوع میپردازیم.