Język generowany przez (0+1)^*0(0+1) nie posiada deterministycznego on-line wyrażenia regularnego go opisującego.
Pozostaje to udowodnić.