صفحهها: ۱ ۲
(۱۸ بهمن ۱۳۹۲ ۰۱:۳۱ ق.ظ)hosshah نوشته شده توسط:(18 بهمن ۱۳۹۲ ۰۱:۱۴ ق.ظ)izadan11 نوشته شده توسط: یک شرطش گفته n>k و دیگری گفته n<>k-1 در شرط دوم فقط یک حالت قبول نیست که در شرط اول پوشش داده شده پس گرامر ما میشه a^n .b^m
و n و m هیچ ربطی به هم ندارن
من میگم کلا این هارو که ترکیب کنیم اون a^n.b^m که شما گفتی باید شرط n!=m-1 به هرحال برقرار باشه
لازم نیست
اشتراک نداریم که , اجتماع است
(۱۸ بهمن ۱۳۹۲ ۰۱:۳۴ ق.ظ)izadan11 نوشته شده توسط: لازم نیستخب بالاخره یکی از این زبون ها باید تولیدش بکنه تا اجتماعش هم بتونه دیگه
اشتراک نداریم که , اجتماع است
اینکه n=m-1 باشه رو کدومشون میتونه تولید کنه؟
(۱۸ بهمن ۱۳۹۲ ۰۱:۳۸ ق.ظ)hosshah نوشته شده توسط:(18 بهمن ۱۳۹۲ ۰۱:۳۴ ق.ظ)izadan11 نوشته شده توسط: لازم نیستخب بالاخره یکی از این زبون ها باید تولیدش بکنه تا اجتماعش هم بتونه دیگه
اشتراک نداریم که , اجتماع است
اینکه n=m-1 باشه رو کدومشون میتونه تولید کنه؟
مهم نیست جزو کدومه چون این دو مجموعه رو هم یک زبان رو نشون میدن که حاصل اجتماع هر دوتاشون هست مثلا فرض کن دو تا مجموعه داریم که تقارنی نباشه ولی اجتماع اون ها تقارنی بشه
این اجتماع رو میشه در یک مجموعه نوشت به شکل a^n.b^m یعنی ما هر رشته ای به این فرم داشته باشیم جزو یکی از این دو مجموعه است پس ما کافی است چنین رشته ای رو تشخیص بدیم که dfa اون به راحتی قابل رسمه
(۱۸ بهمن ۱۳۹۲ ۰۳:۰۸ ق.ظ)izadan11 نوشته شده توسط: یعنی ما هر رشته ای به این فرم داشته باشیم جزو یکی از این دو مجموعه است پس ما کافی است چنین رشته ای رو تشخیص بدیم که dfa اون به راحتی قابل رسمه
خودت داری میگی ما هر رشته ای به فرم a^n.b^m بگیریم جزو یکی از این زبون ها هست دیگه حالا من میگم اینکه n=m-1 باشه جزو کدومشونه؟
شما میگی می میتونیم رشته ای تولید کنیم که تعداد b هاش یه دونه از a هاش بیشتر باشه. حالا سواله من اینه که با کدوم یکی از این زبان ها میخوای تولیدش کنی؟ خب وقتی هیچ کدوم از این زبان ها نتونه تولیدش کنه پس اجتماعش هم نمیتونه دیگه
(۱۸ بهمن ۱۳۹۲ ۰۳:۱۴ ق.ظ)hosshah نوشته شده توسط:(18 بهمن ۱۳۹۲ ۰۳:۰۸ ق.ظ)izadan11 نوشته شده توسط: یعنی ما هر رشته ای به این فرم داشته باشیم جزو یکی از این دو مجموعه است پس ما کافی است چنین رشته ای رو تشخیص بدیم که dfa اون به راحتی قابل رسمه
خودت داری میگی ما هر رشته ای به فرم a^n.b^m بگیریم جزو یکی از این زبون ها هست دیگه حالا من میگم اینکه n=m-1 باشه جزو کدومشونه؟
شما میگی می میتونیم رشته ای تولید کنیم که تعداد b هاش یه دونه از a هاش بیشتر باشه. حالا سواله من اینه که با کدوم یکی از این زبان ها میخوای تولیدش کنی؟ خب وقتی هیچ کدوم از این زبان ها نتونه تولیدش کنه پس اجتماعش هم نمیتونه دیگه
فهمیدم
سوتی دادم
فکر می کردم وقتی n=k-1 است یعنی n یکی بیشتر از k است