سلام
حاصل تقسیم راست یا چپ لاندا بر لاندا می شه لاندا
کلا دوتا رشته ی مساوی رو که تقسیم می کنید میشه لاندا مثلا
[tex]a^{-1}a=\lambda[/tex]

و طول اشتقاق ارتاط خیلی زیادی به فرم گرامر داره.
ولی خیلی وقتا ارتباطشو نمی شه واسش یه فرمول شسته رفته گفت.
واسه فرم های نرمال می شه فرمول داد اما برای همه ی فرم ها نمی شه فرمول گفت اما می شه نظر داد مثلا اگه گرامر قانون های واحد (یکه یا unit) داشته باشند یا اگه قانون لاندا داشته باشن اشتقاق ممکنه خیلی زیادی طولانی بشه