JFiZO - Zadanie 09.010

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)^*.