====== JFiZO - Zadanie 09.010 ======
{{:jfizo:automat10.png|Automat do zadania}}

Sprawdzając wszystkie możliwe przejścia ze stanu początkowego na akceptujący mamy:
  * $\epsilon$,
  * $01$,
  * $0(01)^*1$,
  * $10$, 
  * $1(10)^*0$   

Jednak $L(01) \subset L(0(01)^*1)$ i analogicznie $L(10) \subset L(1(10)^*0)$. Zatem całe wyrażenie to $(0(01)^*1 + 1(10)^*0)^*$. 

{{tag>[listy_zadan]}}