 Also, in general, formula_22 is not closed under Kleene star.For instance, the set formula_33 is a recognizable subset of formula_34, but formula_51 is not recognizable.Indeed, its syntactic monoid is infinite.