Matematické Fórum

Dobry den.
Mam sestavit regularni vyraz pro jazyk nad abecedou {a,b,c}, neprijimajici slova, obsahujici "ab". Jako prvni me napadlo, ze bych sestrojila automat, ktery bych nasledne prevedla na regularni vyraz.
1. sestrojim automat, prijimajici "ab"
2. invertuju prijimajici/neprijimajici stavy.
konecny automat ted' ma tri stavy, z nichz dva jsou prijimajici
                                                 a                             b                            c
1(vstupni a prijimajici)              2                             1                            1
2(prijimajici)                              2                             3                           1
3                                               3                             3                           3

Takze jakmile automat "sni" ten "ab" kousek, zustane v tretim stavu a nikam se odtamtud jiz nedostane. V te smycce je prave problem, kdyz se pokousim sestavit z toho regularni vyraz. Dle pravidel smycka se eliminuje tak, ze dopisu iteraci na sipky, vychazejici z tohoto stavu, ovsemze v danem pripade zadna sipka z tohoto stavu jiz nevychazi. Jak mam to vyresit?

Preferuju napovedu/nakopnuti, nez hotovou odpoved', prosim. :)