۰
subtitle
ارسال: #۱
مستقل از متن هست؟ a^nb^mc^n , m>n>0
{a^{n}b^{m}c^{n} | n>=m>= 0}
نمی دونم واقعا اما فکر می کنم میشه اول به ازای n ، n تا بزاری تو پشته، بعد به ازای هر b اون متغیری که گذاشتی تو پشته بخونی و باز همون رو پوش کنی. اگه تعداد b بیشتر بشه دیگه به جای میرسه که نمی تونه چیزی رو پاپ کنه پس ادامه کار قطع میشه. اگه هم کمتر از تعداد n باشه به سلامت میره رو c و به ازاری هر c یه متغیر پاپ میکنه و پشته هم در انتها خلی میشه.
اما میگن این مستقل از من نیست.
{a^{n}b^{m}c^{n} | m> =n>= 0}
میشه یکی توضیح بده لطفا فرق این دوتا چیه و کدومش مستقل هست و کدومش نیست؟
با تشکر.
نمی دونم واقعا اما فکر می کنم میشه اول به ازای n ، n تا بزاری تو پشته، بعد به ازای هر b اون متغیری که گذاشتی تو پشته بخونی و باز همون رو پوش کنی. اگه تعداد b بیشتر بشه دیگه به جای میرسه که نمی تونه چیزی رو پاپ کنه پس ادامه کار قطع میشه. اگه هم کمتر از تعداد n باشه به سلامت میره رو c و به ازاری هر c یه متغیر پاپ میکنه و پشته هم در انتها خلی میشه.
اما میگن این مستقل از من نیست.
{a^{n}b^{m}c^{n} | m> =n>= 0}
میشه یکی توضیح بده لطفا فرق این دوتا چیه و کدومش مستقل هست و کدومش نیست؟
با تشکر.
۰
ارسال: #۲
من میگم مستقل از متن هست نظر شما چیه؟
هیچکدوم مستقل از متن نیستن. جفتشو میشه با لم تزریق رد کرد. یا باید تعداد cها رو با aها برابر کنیم یا شرط تعداد b رو درنظر بگیریم.
توی استدلالتو گفتین "دوباره همون متغیر رو پوش کنیم" اگه اینکارو بکنیم که تعداد aهای توی پشته با خوندن b تغییر نمیکنه و نمیتونیم بین m و n مقایسه داشته باشیم.
رشته a^nb^nc^n رو درنظر بگیرید که توی هردو زبان پذیرفتست. با لم تزریق میشه ثابت کرد مستقل از متن نیست. اگه vy فقط جزء aها یا cها باشه که تعدادشون به ازای i=2 برابر نیست. اگه فقط جزء bها باشه که با قراردادن i=0,2 مثال نقض داریم. واگه بینشون باشه یکی از دوحالت قبل پیش میاد.
توی استدلالتو گفتین "دوباره همون متغیر رو پوش کنیم" اگه اینکارو بکنیم که تعداد aهای توی پشته با خوندن b تغییر نمیکنه و نمیتونیم بین m و n مقایسه داشته باشیم.
رشته a^nb^nc^n رو درنظر بگیرید که توی هردو زبان پذیرفتست. با لم تزریق میشه ثابت کرد مستقل از متن نیست. اگه vy فقط جزء aها یا cها باشه که تعدادشون به ازای i=2 برابر نیست. اگه فقط جزء bها باشه که با قراردادن i=0,2 مثال نقض داریم. واگه بینشون باشه یکی از دوحالت قبل پیش میاد.
۰
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close