(۱۴ دى ۱۳۹۳ ۰۳:۱۴ ب.ظ)Jooybari نوشته شده توسط:  سلام. مستقل از متن غیرقطعیه.

$S\to aAc|BC$
$A\to aAc|aA|D$
$B\to aB|a$
$C\to bCc|bC|bc$
$D\to bD|b$

میشه توضیح بدید گرامرو چطور نوشتید؟

(۱۴ دى ۱۳۹۳ ۰۴:۵۶ ب.ظ)Imankhani نوشته شده توسط:  

(14 دى ۱۳۹۳ ۰۳:۱۴ ب.ظ)Jooybari نوشته شده توسط:  سلام. مستقل از متن غیرقطعیه.

$S\to aAc|BC$
$A\to aAc|aA|D$
$B\to aB|a$
$C\to bCc|bC|bc$
$D\to bD|b$

میشه توضیح بدید گرامرو چطور نوشتید؟

در حالت اول تعداد a و c رو باهم اضافه کردم که مقدار aها بیشتر از cها بشن. بعد بینشون یه تعداد b قرار دادم.
در حالت دوم اول یه تعداد a قرار دادم و جلوشون bها و cها رو باهم اضافه کدوم که تعداد bها بیشتر بشن.

(۱۴ دى ۱۳۹۳ ۰۸:۳۸ ب.ظ)Jooybari نوشته شده توسط:  

(14 دى ۱۳۹۳ ۰۴:۵۶ ب.ظ)Imankhani نوشته شده توسط:  

(14 دى ۱۳۹۳ ۰۳:۱۴ ب.ظ)Jooybari نوشته شده توسط:  سلام. مستقل از متن غیرقطعیه.

$S\to aAc|BC$
$A\to aAc|aA|D$
$B\to aB|a$
$C\to bCc|bC|bc$
$D\to bD|b$

میشه توضیح بدید گرامرو چطور نوشتید؟

در حالت اول تعداد a و c رو باهم اضافه کردم که مقدار aها بیشتر از cها بشن. بعد بینشون یه تعداد b قرار دادم.
در حالت دوم اول یه تعداد a قرار دادم و جلوشون bها و cها رو باهم اضافه کدوم که تعداد bها بیشتر بشن.

مرسی دوست عزیز

آره. فکر میکنم مستقل از متن غیر قطعیه

(۱۴ دى ۱۳۹۳ ۰۱:۴۰ ب.ظ)nazanin2020 نوشته شده توسط:  آره. فکر میکنم مستقل از متن غیر قطعیه

مرسی از جوابتون. ولی به ماشینش که فکر میکنم هیچ جوره نمیتونه i , j از هم مجزا کنه که بعد بخواد با k مقایسه کنه.
شما چه فکری میکنید برای ماشینش یا حالا ایدتون چی بوده که مستقل از متنو رو ترجیح میدید؟

خواهش میکنم. مثلا شاید بشه اینطور در نظر گرفت که اول تعداد a ها با تعداد c ها مقایسه بشه و همینطور غیرقطعی تعداد b ها با تعداد c ها مقایسه بشه و اگه در آخر،، پشته a یا b داشت یا خالی بود پذیرفته بشه. اگ نامفهوم بود بگید
حالت λ رو نباید در نظر بگیریم. من اولش به اینکه باید بزرگتر مساوی یک باشن دقت نکردم

چطوری با استک اینو تصور کردین؟ا عایا اینطوریه که اولی و دومی با هم پاپ و پوش میشن هرچی موند حالا k ها که میان باید از تفاضل قبلی ها کمتر باشه تعدادش نه؟