با سلام مجدد
در صفحه ۱۷۵ گفته شده که
[tex]\widehat{L}=L\cup \left \{ a^nb^nc^n: n\geq 0 \right \}[/tex]
که میگه مستقل از متن هست
اما در صفحه ۱۸۳
[tex]L= \left \{ a^nb^nc^n: n\geq 0 \right \}[/tex]
گفته شده که این زبان مستقل از متن نیست
می دونیم چون زمانی که می خوایم c رو بخونیم نمی تونیم با b و a چکشون کنیم که تعدادشون یکیه بنابراین می گیم که مستقل از متن نیست
اما نمی دونم این قضیه چرا اینجوری هست
البته صفحه ۱۸۳ به واسطه لم تزریق اثبات شده که برام سوال هست
اونم اینه که در صورتی که vxy رو انتخاب کنیم به ازای هر a وbوc کلا m=1 هست در صورتی که می گه قابل قبول نیست و محدودیت ۲-۸ نمیزاره
در صورتی که اگه ما یکی a یکی b یکی c رو انتخاب کنیم در هر حال m برابر ۱ هست و شرط دچار مشکل نمیشه
نمی دونم چرا میگه نمیشه
لطفا راهنماییم کنید در این مورد