El grupo formula_39 puede "descomponerse paradójicamente" como sigue: Sea formula_41 el conjunto de todas las cadenas no prohibidas que empiezan por formula_27 y defínase formula_43 y formula_44 de forma similar.