====== JFiZO - Zadanie 09.011 ======
{{:jfizo:automat11.png|Automat do zadania}}

  -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.
{{tag>[listy_zadan]}}