سلام
ببخشید مجبور شدم تاپیک جدید ایجاد کنم، چون جوابمو پیدا نکردم.
۱) وقتی که لاندا رو بر لاندا تقسیم میکنیم حاصل لاندا میشه یا تهی؟
۱) میشه گفت تعداد مراحل اشتقاق به فرم گرامر بستگی داره؟
(مثلاً در فرم چامسکی از طول رشته k باشه ۲k-1 مرحله اشتقاق داره، با توجه به این میشه جمله ی بالا رو نتیجه گرفت؟)
سلام
حاصل تقسیم راست یا چپ لاندا بر لاندا می شه لاندا
کلا دوتا رشته ی مساوی رو که تقسیم می کنید میشه لاندا مثلا
[tex]a^{-1}a=\lambda[/tex]
و طول اشتقاق ارتاط خیلی زیادی به فرم گرامر داره.
ولی خیلی وقتا ارتباطشو نمی شه واسش یه فرمول شسته رفته گفت.
واسه فرم های نرمال می شه فرمول داد اما برای همه ی فرم ها نمی شه فرمول گفت اما می شه نظر داد مثلا اگه گرامر قانون های واحد (یکه یا unit) داشته باشند یا اگه قانون لاندا داشته باشن اشتقاق ممکنه خیلی زیادی طولانی بشه
ممنون