|
Hi there!
Ich würde gern wissen, ob die Sprache L{(ab)^i (ab)^j; i<>j; i,j >0}
regulär ist oder nicht.
Wenn regulär, wie sieht dann der Automat aus? Wenn nicht regulär, wie ist der korrekte Beweis?
Meiner Meinung nach sollte sie nicht regulär sein, weil es ein kleinstes gemeinsames Vielfaches gibt und irgendwann i=j ist. Andererseits bin ich aber auch nicht sicher, ob es nicht doch einen DFA gibt.
Helft mir...
Gruß, Jens
|
|