section_heading: Formalna teorija jezika
paragraph_text: Do koje razine se ova zalihost može eliminirati? Može li se naći zanimljiv podskup regularnih izraza koji je još uvijek potpuno ekspresivan? Kleeneov operator i unija skupova su očito među zahtijevanim operacijama, ali možda njihova uporaba može biti ograničena. Ovo se pokazao kao začuđujuće težak problem. Koliko god jednostavni regularni izrazi bili, pokazalo se da ne postoji metoda njihovog sistematskog prepisivanja u neki normalni oblik. Oni nisu konačno aksiomatizibilni, te stoga moramo pribjeći drugim metodama. Ovo vodi do problema visine zvijezde; pogledati dolje za više o ovome.