Wie du angemerkt hast, bedeutet E* alle möglichen Kombinationen von Zeichen aus dem Alphabet E. Das heißt, um zu entscheiden, ob ein Wort in E* liegt, muss man nur nachschauen, ob alle Zeichen des Wortes in E enthalten sind. Es ist also nicht nötig, beim von dir angeführten $a^n b^n c^n$ zu prüfen, ob die Anzahl der a, b und c gleich ist (was ein endlicher Automat nicht kann).
Tobias (Tutor)