۰
subtitle
ارسال: #۱
لم تزریق زبان های مستقل از متن
سلام
در لم تزریق برای زبان های مستقل از متن فرض کنید چهار حالت به وجود اومده ، برای اینکه بگیم مستقل از متن نیست اگر یکی از این حالت ها رد بشه کافیه یا اینکه حتما باید تمام حالت ها رو بررسی کنیم و ثابت کنیم برای همه حالت ها عضو زبان نیست .
مثلا برای اثبات اینکه a^nb^nc^n یک زبان مثلا a^mb^mc^m رو در نظر میگیریم که خودش چند حالت داره :
حالت اول : u,v,x,y رو از a در نظر میگیریم و بقیه رو z
حالت دوم : uvx رو از a و y رو از b و z رو از b و c
حالت سوم : و الی آخر
یکی از حالت ها جواب نده کافیه؟ یا باید تمام حالت ها رو بررسی کنیم؟
در لم تزریق برای زبان های مستقل از متن فرض کنید چهار حالت به وجود اومده ، برای اینکه بگیم مستقل از متن نیست اگر یکی از این حالت ها رد بشه کافیه یا اینکه حتما باید تمام حالت ها رو بررسی کنیم و ثابت کنیم برای همه حالت ها عضو زبان نیست .
مثلا برای اثبات اینکه a^nb^nc^n یک زبان مثلا a^mb^mc^m رو در نظر میگیریم که خودش چند حالت داره :
حالت اول : u,v,x,y رو از a در نظر میگیریم و بقیه رو z
حالت دوم : uvx رو از a و y رو از b و z رو از b و c
حالت سوم : و الی آخر
یکی از حالت ها جواب نده کافیه؟ یا باید تمام حالت ها رو بررسی کنیم؟
