تالار گفتمان مانشت
مهندسی کامپیوتر دولتی ۹۱ - نسخه‌ی قابل چاپ

مهندسی کامپیوتر دولتی ۹۱ - Saman - 22 دى ۱۳۹۶ ۱۱:۰۱ ب.ظ

میگوییم دو رشته x و y نسبت به زبان L هم ارزند اگر برای هر z متعلق به L * داشته باشیم
[tex]xz\in L\: \ Longleftrightarrowyz\in L[/tex] اکنون زبان [tex]L=(ab\cup aab)\ast[/tex] را در نظر میگیریم
کلاس های هم ارزی L کدام هستند؟