FSM och reguljärt språk

Här är en automat som känner igen ett reguljärt språk:

a) Skriv upp ett reguljärt uttryck för språket.

Jag har fått fram det här:

$(10 (0 + {(10))}^{*} 11 + 11 + 00^{*} 10 (0 + {(10))}^{*} 11 + 00^{*} 11) {(0 + 1)}^{*}$

Låter det vettigt? I så fall hur man ska faktorisera vidare utan att något försvinner? Exempelvis om jag vill bryta ut 11 inom stora parentesen kommer då en av termerna försvinna, nämligen den andra termen.

Prova att skriva vägen från s0 till s2 i en parentes med eller , följd av en större från s2 till s4.

Där kan du dela upp å samma sätt vid s4.

Om det nu är det du tänker på som faktorisering.

matsC skrev:
Prova att skriva vägen från s0 till s2 i en parentes med eller , följd av en större från s2 till s4.

Där kan du dela upp å samma sätt vid s4.

Om det nu är det du tänker på som faktorisering.

Tack för tipset! Det verkar som att det blir mycket enklare att göra det på ditt sätt. Då förenklas det till följande:

$(1 + 0 \cdot 0^{*} \cdot 1) \cdot (1 + 0 \cdot (0 + {(10))}^{*} \cdot 1 \cdot 1) \cdot {(1 + 0)}^{*}$

Svara