S->aBbA->aaBBba->aaaBBBba->aaabbBba->aaabbaBBba->aaabbabbba S->E|a|b|c|aSa|bSb|cSc [bc]*(a[bc]*a[bc]*)* Automat: Von Zustand 1 mit a nach Zustand 2 Von Zustand 2 mit a nach Zustand 1 Bei b und c wird der Zustand nicht veraendert. Zustand 1 ist Start- und Endzustand. egrep '^[abc]*$'