Regexp1 (błędny): \left(a^* + bb^*(abbb^*)^*aa\right)^*b^*(\epsilon + a + ab)
Regexp2: (a + b(b + abb)^*aa)^*(\epsilon + b(b+abb)^*(\epsilon + a + ab))
Duży nawias to wszystkie możliwe przejścia ze stanu początkowego ponownie na stan początkowy. Następnie są wszystkie możliwe zakończenia na stanach akceptujących.