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