Regulärer Ausdruck, um Wörter mit genau 4 A oder 5 B zu bilden

Question

In der formalen Sprachtheorie (mit Kleene Star), wenn ich einen regulären Ausdruck erstellen wollte, der die Sprache definiert, die alle Wörter über die Menge {a, b} enthält 4 a oder 5 b.

(beachten Sie das Buch, das ich Anwendungen + für ODER haben, und * für 0 oder viele)

Bisher habe ich:

[a (b *) aaa + aa (b *) aa + aaa (b *) a + AAAA (b *) + ABABABAB + babababa + (b *) AAAA]

+

[b (a *) bbbb + bb (a *) bbb + bbb (a *) bb + bbbb (a *) b + bbbbb (a *) + (a *) bbbbb + bababababa + ababababab]

Gibt es eine Verkürzung? Weg, dies zu tun? Es scheint nicht, dass die Theorie die Verwendung von Min und Max für Buchstaben erlaubt.

Answer 1

Ihr Ausdruck passt nicht zu allen Möglichkeiten (z. B. babababababbbb). Der gesuchte Ausdruck sollte viel einfacher sein:

[ b*ab*ab*ab*ab* + a*ba*ba*ba*ba*ba* ]