Für jede Sprache L definieren wir eine Äquivalenzrelation auf durch
Beispiele: = {a, b}, L1 = a*b*, L2 = {anbn | n0}.
Welche der Wörter sind jeweilskongurent:
Wieviele Kongruenzklassen gibt es?